Changeset 4643

Timestamp:

2003-06-13T14:24:11+12:00 (21 years ago)

Author:

kjdon

Message:

indented some comments, changed teh colours of some stuff

File:

• trunk/gli/src/org/greenstone/gatherer/Configuration.java (modified) (6 diffs)

trunk/gli/src/org/greenstone/gatherer/Configuration.java

@@ -267 +267 @@
     try {
         String raw = getString(property, general);
-                // Color is a RGB triplet list, comma separated (also remove whitespace)
+        // Color is a RGB triplet list, comma separated (also remove whitespace)
         StringTokenizer tokenizer = new StringTokenizer(raw, TOKENIZER_PATTERN1);
         int red = Integer.parseInt(tokenizer.nextToken());
@@ -302 +302 @@
     try {
         String raw = getString(property, general);
-                // Font is a face, style, size triplet.
+        // Font is a face, style, size triplet.
         StringTokenizer tokenizer = new StringTokenizer(raw, TOKENIZER_PATTERN1);
         String face = tokenizer.nextToken();
@@ -357 +357 @@
     String result = "";
     try {
-                // First of all we look in the cache to see if we have a match.
+        // First of all we look in the cache to see if we have a match.
         SoftReference reference = (SoftReference) get(property + general);
         if(reference != null) {
@@ -366 +366 @@
         }
         }
-                // We may have missed in the cache, or the reference may have been consumed.
+        // We may have missed in the cache, or the reference may have been consumed.
         if(result.length() == 0) {
         cache_miss++;
@@ -600 +600 @@
 
     // Editable coloring
-    UIManager.put("ComboBox.background", new ColorUIResource(getColor("coloring.button_background", false))); // Indicate clickable
+    UIManager.put("ComboBox.background", new ColorUIResource(getColor("coloring.collection_tree_background", false))); // Indicate clickable
     UIManager.put("Tree.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
     UIManager.put("Tree.textBackground", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
     UIManager.put("ProgressBar.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
     UIManager.put("TextArea.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
-    UIManager.put("TextField.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
+    UIManager.put("TextField.background", new ColorUIResource(getColor("coloring.editable", false)));
     UIManager.put("Table.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
-
+    UIManager.put("List.background", new ColorUIResource(getColor("coloring.collection_tree_background", false)));
     // Selection color
     UIManager.put("TabbedPane.selected", new ColorUIResource(getColor("coloring.collection_selection_background", false)));
@@ -615 +615 @@
     UIManager.put("TextArea.selectionBackground", new ColorUIResource(getColor("coloring.collection_selection_background", false)));
     UIManager.put("TextField.selectionBackground", new ColorUIResource(getColor("coloring.collection_selection_background", false)));
+    UIManager.put("List.selectionBackground", new ColorUIResource(getColor("coloring.collection_selection_background", false)));
 
     // Scroll bar stuff