Changeset 4803
- Timestamp:
- 2003-06-25T14:24:42+12:00 (21 years ago)
- Location:
- trunk/gli
- Files:
-
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/classes/xml/config.xml
r4673 r4803 55 55 <Argument name="coloring.collection_noneditable_foreground">0, 0, 0</Argument> 56 56 <Argument name="coloring.disabled">206, 206, 206</Argument> 57 <Argument name="coloring.editable">255, 255, 255</Argument> 58 <Argument name="coloring.error_background">250, 180, 180</Argument> 59 <Argument name="coloring.error_foreground">255, 0, 0</Argument> 57 <Argument name="coloring.editable_background">255, 255, 255</Argument> 58 <Argument name="coloring.editable_foreground">0, 0, 0</Argument> 59 <Argument name="coloring.error_background">255, 0, 0</Argument> 60 <Argument name="coloring.error_foreground">0, 0, 0</Argument> 60 61 <Argument name="coloring.scrollbar_background">192, 192, 192</Argument> 61 62 <Argument name="coloring.scrollbar_foreground">255, 255, 255</Argument> -
trunk/gli/src/org/greenstone/gatherer/Configuration.java
r4675 r4803 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 ", false)));610 UIManager.put("TextField.background", new ColorUIResource(getColor("coloring.editable_background", 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))); -
trunk/gli/src/org/greenstone/gatherer/cdm/TranslationManager.java
r4675 r4803 318 318 // Update and enable the text area 319 319 translation_area.setEnabled(true); 320 translation_area.setBackground(Gatherer.config.getColor("coloring.editable", false)); 320 translation_area.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 321 translation_area.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 321 322 } 322 323 else { … … 469 470 // Ready the text area 470 471 translation_area.setEnabled(true); 471 translation_area.setBackground(Gatherer.config.getColor("coloring.editable", false)); 472 translation_area.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 473 translation_area.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 472 474 ignore_event = false; 473 475 } -
trunk/gli/src/org/greenstone/gatherer/gui/CollectionPane.java
r4802 r4803 288 288 // Change the default colours of this filters combobox. 289 289 GComboBox fcb = workspace_filter.getComboBox(); 290 fcb.setBackgroundNonSelectionColor(Gatherer.config.getColor("coloring.editable ", false));290 fcb.setBackgroundNonSelectionColor(Gatherer.config.getColor("coloring.editable_background", false)); 291 291 fcb.setTextNonSelectionColor(Gatherer.config.getColor("coloring.workspace_tree_foreground", false)); 292 292 fcb.setBackgroundSelectionColor(Gatherer.config.getColor("coloring.collection_selection_background", false)); … … 339 339 // Change the default colours of this filters combobox. 340 340 fcb = collection_filter.getComboBox(); 341 fcb.setBackgroundNonSelectionColor(Gatherer.config.getColor("coloring.editable ", false));341 fcb.setBackgroundNonSelectionColor(Gatherer.config.getColor("coloring.editable_background", false)); 342 342 fcb.setTextNonSelectionColor(Gatherer.config.getColor("coloring.collection_tree_foreground", false)); 343 343 fcb.setBackgroundSelectionColor(Gatherer.config.getColor("coloring.collection_selection_background", false)); -
trunk/gli/src/org/greenstone/gatherer/gui/NewCollectionDetailsPrompt.java
r4684 r4803 112 112 description_label.setOpaque(false); 113 113 description = new JTextArea(); 114 description.setBackground(Gatherer.config.getColor("coloring.editable", false)); 114 description.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 115 description.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 115 116 description.setRows(5); 116 117 … … 289 290 } 290 291 public void keyPressed(KeyEvent event) { 291 //component1.setForeground(Gatherer.config.getColor("coloring.editable", false));292 component1.setBackground(Gatherer.config.getColor("coloring.editable ", false));292 component1.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 293 component1.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 293 294 if(component2 != null) { 294 //component2.setForeground(Gatherer.config.getColor("coloring.editable", false));295 component2.setBackground(Gatherer.config.getColor("coloring.editable ", false));295 component2.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 296 component2.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 296 297 } 297 298 } -
trunk/gli/src/org/greenstone/gatherer/valuetree/GValueTree.java
r4686 r4803 89 89 JPanel value_field_pane = new JPanel(); 90 90 value = new JTextField(); 91 value.setBackground(Gatherer.config.getColor("coloring.editable", false)); 91 value.setBackground(Gatherer.config.getColor("coloring.editable_background", false)); 92 value.setForeground(Gatherer.config.getColor("coloring.editable_foreground", false)); 92 93 value.setPreferredSize(new Dimension(413, 24)); 93 94 value.getDocument().addDocumentListener(new DocumentListenerImpl());
Note:
See TracChangeset
for help on using the changeset viewer.