super(application, i18n.getString("windowTitle"), x, y,
80 + 2, 24 + 2, flags);
+ // Require at least one line for the display.
+ setMinimumWindowHeight(3);
+
this.closeOnExit = closeOnExit;
vScroller = new TVScroller(this, getWidth() - 2, 0, getHeight() - 2);
newStatusBar(i18n.getString("statusBarRunning"));
// Spin it up
- terminal = new TTerminalWidget(this, 0, 0);
+ terminal = new TTerminalWidget(this, 0, 0, new TAction() {
+ public void DO() {
+ onShellExit();
+ }
+ });
}
/**
super(application, i18n.getString("windowTitle"), x, y,
80 + 2, 24 + 2, flags);
+ // Require at least one line for the display.
+ setMinimumWindowHeight(3);
+
this.closeOnExit = closeOnExit;
vScroller = new TVScroller(this, getWidth() - 2, 0, getHeight() - 2);
newStatusBar(i18n.getString("statusBarRunning"));
// Spin it up
- terminal = new TTerminalWidget(this, 0, 0);
+ terminal = new TTerminalWidget(this, 0, 0, new TAction() {
+ public void DO() {
+ onShellExit();
+ }
+ });
}
// ------------------------------------------------------------------------
}
super.onMouseUp(mouse);
+
+ if (mouse.isMouse1() && mouseOnVerticalScroller(mouse)) {
+ // Clicked on vertical scrollbar
+ terminal.setVerticalValue(getVerticalValue());
+ }
}
/**
}
super.onMouseMotion(mouse);
+
+ if (mouse.isMouse1() && mouseOnVerticalScroller(mouse)) {
+ // Clicked/dragged on vertical scrollbar
+ terminal.setVerticalValue(getVerticalValue());
+ }
}
// ------------------------------------------------------------------------