private void createRootTerminal() {
assert (root == null);
disableMenuItem(MENU_RESPAWN_ROOT);
+ enableMenuItem(MENU_SPLIT_VERTICAL);
+ enableMenuItem(MENU_SPLIT_HORIZONTAL);
root = createTerminal();
}
} else {
source.getApplication().enableMenuItem(
MENU_RESPAWN_ROOT);
+ source.getApplication().disableMenuItem(
+ MENU_SPLIT_VERTICAL);
+ source.getApplication().disableMenuItem(
+ MENU_SPLIT_HORIZONTAL);
source.remove();
root = null;
}
// the input streams.
if (stopReaderThread == false) {
stopReaderThread = true;
- try {
- readerThread.join(1000);
- } catch (InterruptedException e) {
- // SQUASH
- }
}
// Now close the output stream.