git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add get custom covers
[fanfix.git]
/
src
/
jexer
/
demos
/
DemoApplication.java
diff --git
a/src/jexer/demos/DemoApplication.java
b/src/jexer/demos/DemoApplication.java
index 18d47f37e5a348002ecadd2df9e2755d7b920769..3e4cbe92d56bcde373a7c6ec1d05e2327e86c0b1 100644
(file)
--- a/
src/jexer/demos/DemoApplication.java
+++ b/
src/jexer/demos/DemoApplication.java
@@
-55,7
+55,7
@@
public class DemoApplication extends TApplication {
/**
* Translated strings.
*/
/**
* Translated strings.
*/
- private static ResourceBundle i18n = ResourceBundle.getBundle(DemoApplication.class.getName());
+ private static
final
ResourceBundle i18n = ResourceBundle.getBundle(DemoApplication.class.getName());
// ------------------------------------------------------------------------
// Constructors -----------------------------------------------------------
// ------------------------------------------------------------------------
// Constructors -----------------------------------------------------------
@@
-135,7
+135,10
@@
public class DemoApplication extends TApplication {
* @throws Exception if TApplication can't instantiate the Backend.
*/
public DemoApplication(final BackendType backendType) throws Exception {
* @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"));
}
addAllWidgets();
getBackend().setTitle(i18n.getString("applicationTitle"));
}
@@
-203,6
+206,7
@@
public class DemoApplication extends TApplication {
new DemoMainWindow(this);
// Add the menus
new DemoMainWindow(this);
// Add the menus
+ addToolMenu();
addFileMenu();
addEditMenu();
addFileMenu();
addEditMenu();
@@
-235,6
+239,7
@@
public class DemoApplication extends TApplication {
item = swingMenu.addItem(3001, i18n.getString("smaller"));
}
item = swingMenu.addItem(3001, i18n.getString("smaller"));
}
+ addTableMenu();
addWindowMenu();
addHelpMenu();
}
addWindowMenu();
addHelpMenu();
}