/**
* Translated strings.
*/
- private static ResourceBundle i18n = ResourceBundle.getBundle(DemoApplication.class.getName());
+ private static final ResourceBundle i18n = ResourceBundle.getBundle(DemoApplication.class.getName());
// ------------------------------------------------------------------------
// Constructors -----------------------------------------------------------
* @throws Exception if TApplication can't instantiate the Backend.
*/
public DemoApplication(final BackendType backendType) throws Exception {
- super(backendType);
+ // For the Swing demo, use an initial size of 82x28 so that a
+ // terminal window precisely fits the window.
+ super(backendType, (backendType == BackendType.SWING ? 82 : -1),
+ (backendType == BackendType.SWING ? 28 : -1), 20);
addAllWidgets();
getBackend().setTitle(i18n.getString("applicationTitle"));
}
new DemoMainWindow(this);
// Add the menus
+ addToolMenu();
addFileMenu();
addEditMenu();
item = swingMenu.addItem(3001, i18n.getString("smaller"));
}
+ addTableMenu();
addWindowMenu();
addHelpMenu();
}