+ private TWidget createTerminal() {
+ return new TTerminalWidget(getDesktop(), 0, 0,
+ getDesktop().getWidth(), getDesktop().getHeight(),
+ new TAction() {
+ public void DO() {
+ if (source.getParent() instanceof TSplitPane) {
+ ((TSplitPane) source.getParent()).removeSplit(source,
+ true);
+ } else {
+ source.getApplication().enableMenuItem(
+ MENU_RESPAWN_ROOT);
+ source.remove();
+ root = null;
+ }
+ }
+ });