import jexer.event.TMouseEvent;
import jexer.event.TResizeEvent;
import jexer.backend.Backend;
-import jexer.backend.AWTBackend;
+import jexer.backend.SwingBackend;
import jexer.backend.ECMA48Backend;
import jexer.io.Screen;
import jexer.menu.TMenu;
import jexer.menu.TMenuItem;
import static jexer.TCommand.*;
-import static jexer.TKeypress.*;
/**
* TApplication sets up a full Text User Interface application.
*/
-public class TApplication {
+public class TApplication implements Runnable {
/**
* If true, emit thread stuff to System.err.
*/
private static final boolean debugEvents = false;
+ /**
+ * Two backend types are available.
+ */
+ public static enum BackendType {
+ /**
+ * A Swing JFrame.
+ */
+ SWING,
+
+ /**
+ * An ECMA48 / ANSI X3.64 / XTERM style terminal.
+ */
+ ECMA48,
+
+ /**
+ * Synonym for ECMA48
+ */
+ XTERM
+ }
+
/**
* WidgetEventHandler is the main event consumer loop. There are at most
* two such threads in existence: the primary for normal case and a
}
synchronized (this) {
- /*
- System.err.printf("%s %s sleep\n", this, primary ?
- "primary" : "secondary");
- */
+ if (debugThreads) {
+ System.err.printf("%s %s sleep\n", this,
+ primary ? "primary" : "secondary");
+ }
this.wait();
- /*
- System.err.printf("%s %s AWAKE\n", this, primary ?
- "primary" : "secondary");
- */
+ if (debugThreads) {
+ System.err.printf("%s %s AWAKE\n", this,
+ primary ? "primary" : "secondary");
+ }
if ((!primary)
&& (application.secondaryEventReceiver == null)
// got here then something went wrong with
// the handoff between yield() and
// closeWindow().
-
- System.err.printf("secondary exiting at wrong time, why?\n");
synchronized (application.primaryEventHandler) {
application.primaryEventHandler.notify();
}
application.secondaryEventHandler = null;
- return;
+ throw new RuntimeException(
+ "secondary exited at wrong time");
}
break;
}
// the event.
boolean oldLock = lockHandleEvent();
assert (oldLock == false);
+ application.repaint = true;
if (primary) {
primaryHandleEvent(event);
} else {
secondaryHandleEvent(event);
}
- application.repaint = true;
if ((!primary)
&& (application.secondaryEventReceiver == null)
) {
synchronized (this) {
// Wait for TApplication.run() to finish using the global state
// before allowing further event processing.
- while (lockoutHandleEvent == true);
+ while (lockoutHandleEvent == true) {}
oldValue = insideHandleEvent;
insideHandleEvent = true;
lockoutHandleEvent = true;
// Wait for the last event to finish processing before returning
// control to TApplication.run().
- while (insideHandleEvent == true);
+ while (insideHandleEvent == true) {}
if (debugThreads) {
System.err.printf(" XXX\n");
*/
private int mouseY;
+ /**
+ * Old version of mouse coordinate X.
+ */
+ private int oldMouseX;
+
+ /**
+ * Old version mouse coordinate Y.
+ */
+ private int oldMouseY;
+
/**
* Event queue that is filled by run().
*/
*/
private volatile boolean repaint = true;
- /**
- * When true, just flush updates from the screen. This is only used to
- * minimize physical writes for the mouse cursor.
- */
- private boolean flush = false;
-
/**
* Y coordinate of the top edge of the desktop. For now this is a
* constant. Someday it would be nice to have a multi-line menu or
/**
* Public constructor.
*
+ * @param backendType BackendType.XTERM, BackendType.ECMA48 or
+ * BackendType.SWING
+ * @throws UnsupportedEncodingException if an exception is thrown when
+ * creating the InputStreamReader
+ */
+ public TApplication(final BackendType backendType)
+ throws UnsupportedEncodingException {
+
+ switch (backendType) {
+ case SWING:
+ backend = new SwingBackend(this);
+ break;
+ case XTERM:
+ // Fall through...
+ case ECMA48:
+ backend = new ECMA48Backend(this, null, null);
+ }
+ TApplicationImpl();
+ }
+
+ /**
+ * Public constructor. The backend type will be BackendType.ECMA48.
+ *
* @param input an InputStream connected to the remote user, or null for
* System.in. If System.in is used, then on non-Windows systems it will
* be put in raw mode; shutdown() will (blindly!) put System.in in cooked
public TApplication(final InputStream input,
final OutputStream output) throws UnsupportedEncodingException {
- // AWT is the default backend on Windows unless explicitly overridden
- // by jexer.AWT.
- boolean useAWT = false;
- if (System.getProperty("os.name").startsWith("Windows")) {
- useAWT = true;
- }
- if (System.getProperty("jexer.AWT") != null) {
- if (System.getProperty("jexer.AWT", "false").equals("true")) {
- useAWT = true;
- } else {
- useAWT = false;
- }
- }
+ backend = new ECMA48Backend(this, input, output);
+ TApplicationImpl();
+ }
+ /**
+ * Public constructor. This hook enables use with new non-Jexer
+ * backends.
+ *
+ * @param backend a Backend that is already ready to go.
+ */
+ public TApplication(final Backend backend) {
+ this.backend = backend;
+ TApplicationImpl();
+ }
- if (useAWT) {
- backend = new AWTBackend(this);
- } else {
- backend = new ECMA48Backend(this, input, output);
- }
+ /**
+ * Finish construction once the backend is set.
+ */
+ private void TApplicationImpl() {
theme = new ColorTheme();
desktopBottom = getScreen().getHeight() - 1;
fillEventQueue = new ArrayList<TInputEvent>();
}
/**
- * Invert the cell at the mouse pointer position.
+ * Invert the cell color at a position. This is used to track the mouse.
+ *
+ * @param x column position
+ * @param y row position
*/
- private void drawMouse() {
- CellAttributes attr = getScreen().getAttrXY(mouseX, mouseY);
- attr.setForeColor(attr.getForeColor().invert());
- attr.setBackColor(attr.getBackColor().invert());
- getScreen().putAttrXY(mouseX, mouseY, attr, false);
- flush = true;
-
- if (windows.size() == 0) {
- repaint = true;
+ private void invertCell(final int x, final int y) {
+ synchronized (getScreen()) {
+ CellAttributes attr = getScreen().getAttrXY(x, y);
+ attr.setForeColor(attr.getForeColor().invert());
+ attr.setBackColor(attr.getBackColor().invert());
+ getScreen().putAttrXY(x, y, attr, false);
}
}
/**
* Draw everything.
*/
- public final void drawAll() {
+ private void drawAll() {
if (debugThreads) {
System.err.printf("drawAll() enter\n");
}
- if ((flush) && (!repaint)) {
- backend.flushScreen();
- flush = false;
+ if (!repaint) {
+ synchronized (getScreen()) {
+ if ((oldMouseX != mouseX) || (oldMouseY != mouseY)) {
+ // The only thing that has happened is the mouse moved.
+ // Clear the old position and draw the new position.
+ invertCell(oldMouseX, oldMouseY);
+ invertCell(mouseX, mouseY);
+ oldMouseX = mouseX;
+ oldMouseY = mouseY;
+ }
+ }
+ if (getScreen().isDirty()) {
+ backend.flushScreen();
+ }
return;
}
for (TMenu menu: menus) {
CellAttributes menuColor;
CellAttributes menuMnemonicColor;
- if (menu.getActive()) {
+ if (menu.isActive()) {
menuColor = theme.getColor("tmenu.highlighted");
menuMnemonicColor = theme.getColor("tmenu.mnemonic.highlighted");
} else {
getScreen().putCharXY(x + 1 + menu.getMnemonic().getShortcutIdx(),
0, menu.getMnemonic().getShortcut(), menuMnemonicColor);
- if (menu.getActive()) {
+ if (menu.isActive()) {
menu.drawChildren();
// Reset the screen clipping so we can draw the next title.
getScreen().resetClipping();
}
// Draw the mouse pointer
- drawMouse();
+ invertCell(mouseX, mouseY);
// Place the cursor if it is visible
TWidget activeWidget = null;
if (sorted.size() > 0) {
activeWidget = sorted.get(sorted.size() - 1).getActiveChild();
- if (activeWidget.visibleCursor()) {
+ if (activeWidget.isCursorVisible()) {
getScreen().putCursor(true, activeWidget.getCursorAbsoluteX(),
activeWidget.getCursorAbsoluteY());
cursor = true;
backend.flushScreen();
repaint = false;
- flush = false;
}
/**
* Run this application until it exits.
*/
- public final void run() {
+ public void run() {
while (!quit) {
// Timeout is in milliseconds, so default timeout after 1 second
// of inactivity.
// If I've got no updates to render, wait for something from the
// backend or a timer.
- if (!repaint && !flush) {
- // Never sleep longer than 100 millis, to get windows with
- // background tasks an opportunity to update the display.
- timeout = getSleepTime(100);
+ if (!repaint
+ && ((mouseX == oldMouseX) && (mouseY == oldMouseY))
+ ) {
+ // Never sleep longer than 50 millis. We need time for
+ // windows with background tasks to update the display, and
+ // still flip buffers reasonably quickly in
+ // backend.flushPhysical().
+ timeout = getSleepTime(50);
// See if there are any definitely events waiting to be
// processed. If so, do not wait -- either there is I/O
// I'm awake and don't care why, let's see what's going
// on out there.
}
+ repaint = true;
}
// Pull any pending I/O events
// Screen resize
if (event instanceof TResizeEvent) {
TResizeEvent resize = (TResizeEvent) event;
- getScreen().setDimensions(resize.getWidth(),
- resize.getHeight());
- desktopBottom = getScreen().getHeight() - 1;
- repaint = true;
- mouseX = 0;
- mouseY = 0;
+ synchronized (getScreen()) {
+ getScreen().setDimensions(resize.getWidth(),
+ resize.getHeight());
+ desktopBottom = getScreen().getHeight() - 1;
+ mouseX = 0;
+ mouseY = 0;
+ oldMouseX = 0;
+ oldMouseY = 0;
+ }
return;
}
// Peek at the mouse position
if (event instanceof TMouseEvent) {
TMouseEvent mouse = (TMouseEvent) event;
- if ((mouseX != mouse.getX()) || (mouseY != mouse.getY())) {
- mouseX = mouse.getX();
- mouseY = mouse.getY();
- drawMouse();
+ synchronized (getScreen()) {
+ if ((mouseX != mouse.getX()) || (mouseY != mouse.getY())) {
+ oldMouseX = mouseX;
+ oldMouseY = mouseY;
+ mouseX = mouse.getX();
+ mouseY = mouse.getY();
+ }
}
}
- // Put into the main queue
+ // Put into the main queue
synchronized (drainEventQueue) {
drainEventQueue.add(event);
}
break;
}
if ((mouse.getType() == TMouseEvent.Type.MOUSE_MOTION)
- && (!mouse.getMouse1())
- && (!mouse.getMouse2())
- && (!mouse.getMouse3())
- && (!mouse.getMouseWheelUp())
- && (!mouse.getMouseWheelDown())
+ && (!mouse.isMouse1())
+ && (!mouse.isMouse2())
+ && (!mouse.isMouse3())
+ && (!mouse.isMouseWheelUp())
+ && (!mouse.isMouseWheelDown())
) {
break;
}
item = accelerators.get(keypressLowercase);
}
if (item != null) {
- // Let the menu item dispatch
- item.dispatch();
- return;
- } else {
- // Handle the keypress
- if (onKeypress(keypress)) {
+ if (item.isEnabled()) {
+ // Let the menu item dispatch
+ item.dispatch();
return;
}
}
+ // Handle the keypress
+ if (onKeypress(keypress)) {
+ return;
+ }
}
if (event instanceof TCommandEvent) {
// Dispatch events to the active window -------------------------------
for (TWindow window: windows) {
- if (window.getActive()) {
+ if (window.isActive()) {
if (event instanceof TMouseEvent) {
TMouseEvent mouse = (TMouseEvent) event;
// Convert the mouse relative x/y to window coordinates
secondaryEventReceiver = widget;
secondaryEventHandler = new WidgetEventHandler(this, false);
(new Thread(secondaryEventHandler)).start();
-
- // Refresh
- repaint = true;
}
/**
boolean oldLock = unlockHandleEvent();
assert (oldLock == true);
- // System.err.printf("YIELD\n");
-
while (secondaryEventReceiver != null) {
synchronized (primaryEventHandler) {
try {
}
}
}
-
- // System.err.printf("EXIT YIELD\n");
}
/**
* @param timeout = initial (maximum) timeout in millis
* @return number of milliseconds between now and the next timer event
*/
- protected long getSleepTime(final long timeout) {
+ private long getSleepTime(final long timeout) {
Date now = new Date();
long nowTime = now.getTime();
long sleepTime = timeout;
// Perform window cleanup
window.onClose();
- // Refresh screen
- repaint = true;
-
// Check if we are closing a TMessageBox or similar
if (secondaryEventReceiver != null) {
assert (secondaryEventHandler != null);
// Swap z/active between active window and the next in the list
int activeWindowI = -1;
for (int i = 0; i < windows.size(); i++) {
- if (windows.get(i).getActive()) {
+ if (windows.get(i).isActive()) {
activeWindowI = i;
break;
}
} // synchronized (windows)
- // Refresh
- repaint = true;
}
/**
// See if they hit the menu bar
if ((mouse.getType() == TMouseEvent.Type.MOUSE_DOWN)
- && (mouse.getMouse1())
+ && (mouse.isMouse1())
&& (!modalWindowActive())
&& (mouse.getAbsoluteY() == 0)
) {
menu.setActive(false);
}
}
- repaint = true;
return;
}
// See if they hit the menu bar
if ((mouse.getType() == TMouseEvent.Type.MOUSE_MOTION)
- && (mouse.getMouse1())
+ && (mouse.isMouse1())
&& (activeMenu != null)
&& (mouse.getAbsoluteY() == 0)
) {
// They switched menus
oldMenu.setActive(false);
}
- repaint = true;
return;
}
}
// We will be switching to another window
- assert (windows.get(0).getActive());
- assert (!window.getActive());
+ assert (windows.get(0).isActive());
+ assert (!window.isActive());
windows.get(0).setActive(false);
windows.get(0).setZ(window.getZ());
window.setZ(0);
window.setActive(true);
- repaint = true;
return;
}
}
}
subMenus.clear();
}
- repaint = true;
}
/**
assert (item != null);
item.setActive(false);
subMenus.remove(subMenus.size() - 1);
- repaint = true;
}
/**
activeMenu.setActive(false);
activeMenu = menus.get(i);
activeMenu.setActive(true);
- repaint = true;
return;
}
}
TMessageBox.Type.YESNO).getResult() == TMessageBox.Result.YES) {
quit = true;
}
- repaint = true;
return true;
}
if (command.equals(cmShell)) {
openTerminal(0, 0, TWindow.RESIZABLE);
- repaint = true;
return true;
}
if (command.equals(cmTile)) {
tileWindows();
- repaint = true;
return true;
}
if (command.equals(cmCascade)) {
cascadeWindows();
- repaint = true;
return true;
}
if (command.equals(cmCloseAll)) {
closeAllWindows();
- repaint = true;
return true;
}
TMessageBox.Type.YESNO).getResult() == TMessageBox.Result.YES) {
quit = true;
}
- // System.err.printf("onMenu MID_EXIT result: quit = %s\n", quit);
- repaint = true;
return true;
}
if (menu.getId() == TMenu.MID_SHELL) {
openTerminal(0, 0, TWindow.RESIZABLE);
- repaint = true;
return true;
}
if (menu.getId() == TMenu.MID_TILE) {
tileWindows();
- repaint = true;
return true;
}
if (menu.getId() == TMenu.MID_CASCADE) {
cascadeWindows();
- repaint = true;
return true;
}
if (menu.getId() == TMenu.MID_CLOSE_ALL) {
closeAllWindows();
- repaint = true;
return true;
}
return false;
// Default: only menu shortcuts
// Process Alt-F, Alt-E, etc. menu shortcut keys
- if (!keypress.getKey().getIsKey()
- && keypress.getKey().getAlt()
- && !keypress.getKey().getCtrl()
+ if (!keypress.getKey().isFnKey()
+ && keypress.getKey().isAlt()
+ && !keypress.getKey().isCtrl()
&& (activeMenu == null)
) {
for (TMenu menu: menus) {
if (Character.toLowerCase(menu.getMnemonic().getShortcut())
- == Character.toLowerCase(keypress.getKey().getCh())
+ == Character.toLowerCase(keypress.getKey().getChar())
) {
activeMenu = menu;
menu.setActive(true);
- repaint = true;
return true;
}
}
public final void addAccelerator(final TMenuItem item,
final TKeypress keypress) {
- // System.err.printf("addAccelerator: key %s item %s\n", keypress, item);
-
synchronized (accelerators) {
assert (accelerators.get(keypress) == null);
accelerators.put(keypress, item);
git://git.nikiroo.be / nikiroo-utils.git / blobdiff