import jexer.*;
import jexer.event.*;
import jexer.menu.*;
+import jexer.backend.Backend;
+import jexer.backend.SwingTerminal;
/**
* The demo application itself.
item.setEnabled(false);
item = subMenu.addItem(2002, "&Normal (sub)");
+ if (getScreen() instanceof SwingTerminal) {
+ TMenu swingMenu = addMenu("&Swing");
+ item = swingMenu.addItem(3000, "&Bigger +2");
+ item = swingMenu.addItem(3001, "&Smaller -2");
+ }
+
addWindowMenu();
addHelpMenu();
}
this(input, reader, writer, false);
}
+ /**
+ * Public constructor.
+ *
+ * @param backend a Backend that is already ready to go.
+ */
+ public DemoApplication(final Backend backend) {
+ super(backend);
+
+ addAllWidgets();
+ }
+
/**
* Handle menu events.
*
@Override
public boolean onMenu(final TMenuEvent menu) {
+ if (menu.getId() == 3000) {
+ // Bigger +2
+ assert (getScreen() instanceof SwingTerminal);
+ SwingTerminal terminal = (SwingTerminal) getScreen();
+ terminal.setFontSize(terminal.getFontSize() + 2);
+ return true;
+ }
+ if (menu.getId() == 3001) {
+ // Smaller -2
+ assert (getScreen() instanceof SwingTerminal);
+ SwingTerminal terminal = (SwingTerminal) getScreen();
+ terminal.setFontSize(terminal.getFontSize() - 2);
+ return true;
+ }
+
if (menu.getId() == 2050) {
new TEditColorThemeWindow(this);
return true;