Changeset 4928 for trunk/gli/src/org/greenstone/gatherer/Configuration.java
- Timestamp:
- 2003-07-15T13:37:35+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Configuration.java
r4803 r4928 68 68 public String proxy_user = null; 69 69 /** The language selected for the interface. Currently hard-wired. */ 70 public Language interface_language = new Language("en", "ENGLISH", true);70 public String interface_language = "en"; 71 71 /** The screen size of the desktop the Gatherer will be displayed on. */ 72 72 public Dimension screen_size = Toolkit.getDefaultToolkit().getScreenSize(); … … 608 608 UIManager.put("ProgressBar.background", new ColorUIResource(getColor("coloring.collection_tree_background", false))); 609 609 UIManager.put("TextArea.background", new ColorUIResource(getColor("coloring.collection_tree_background", false))); 610 UIManager.put("TextField.background", new ColorUIResource(getColor("coloring.editable _background", false)));610 UIManager.put("TextField.background", new ColorUIResource(getColor("coloring.editable", false))); 611 611 UIManager.put("Table.background", new ColorUIResource(getColor("coloring.collection_tree_background", false))); 612 612 UIManager.put("List.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
Note:
See TracChangeset
for help on using the changeset viewer.