Changeset 5210

Timestamp:

2003-08-19T15:38:42+12:00 (21 years ago)

Author:

jmt12

Message:

Fix 203B147

Location:

trunk/gli/src/org/greenstone/gatherer/cdm

Files:

• Argument.java (modified) (1 diff)
• ArgumentConfiguration.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/Argument.java

@@ -406 +406 @@
         if(value.length() > 0) {
         text.append(StaticStrings.SPACE_CHARACTER);
+        // If the value contains a space, add speech marks
+        if(value.indexOf(StaticStrings.SPACE_CHARACTER) != -1) {
+            value = StaticStrings.QUOTE_CHARACTER + value + StaticStrings.QUOTE_CHARACTER;
+        }
         // Tokenize the string
         StringTokenizer tokenizer = new StringTokenizer(value, ",");

trunk/gli/src/org/greenstone/gatherer/cdm/ArgumentConfiguration.java

@@ -89 +89 @@
     setSize(SIZE);
     setTitle(get("Title"));
-    setJMenuBar(new SimpleMenuBar("7.0")); // can we tell whether
-    // we are doing a classifier or plugin, to make the help
-    //more specific??   
+    setJMenuBar(new SimpleMenuBar("7.0")); // can we tell whether we are doing a classifier or plugin, to make the help more specific?? 
     JPanel button_pane = new JPanel();
     cancel = new JButton(get("General.Cancel"));
@@ -285 +283 @@
         if(previous_owner == null) {
         previous_owner = argument.getOwner();
-        addHeader(previous_owner, colour_one);
+        addHeader(previous_owner, colour_two);
         }
         // Otherwise if the owner of the control has changed since the last argument, toggle the colouring of the control.
@@ -291 +289 @@
         coloured = !coloured;
         previous_owner = argument.getOwner();
-        addHeader(previous_owner, (coloured ? colour_two : colour_one));
+        addHeader(previous_owner, (coloured ? colour_one : colour_two));
         }
         // Create
@@ -783 +781 @@
     private class ListOption
         implements Comparable {
-                /** The maximum length of this String version of this item. */
-        private int MAX_DESC = 35;
+        /** The maximum length of this String version of this item. */
+        //private int MAX_DESC = 35;
                 /** The description of the value for this item. */
         private String description = null;
@@ -831 +829 @@
         public String toString() {
         if(text == null) {
-            if(description.length() >= MAX_DESC) {
-            text = value + " - " + description.substring(0, MAX_DESC);
-            }
-            else {
-            text = value + " - " + description;
-            }
+            //if(description.length() >= MAX_DESC) {
+            //  text = value + " - " + description.substring(0, MAX_DESC);
+            //}
+            //else {
+            text = value + " - " + description;
+            //}
         }
         return text;