Changeset 18524

Timestamp:

2009-02-16T14:52:28+13:00 (15 years ago)

Author:

kjdon

Message:

trim the string that we get out of the dictionary to get rid of whitespace at the end. This is important for the Component Orientation which needs to match RTL exactly. Thanks to Amin Hedjazi

File:

• gli/trunk/src/org/greenstone/gatherer/Dictionary.java (modified) (2 diffs)

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

@@ -133 +133 @@
     {
     try {
-        String initial_raw = dictionary.getString(key);
+      String initial_raw = dictionary.getString(key).trim();
 
         // Convert into Unicode
@@ -152 +152 @@
         if (initial.indexOf("#") != -1) {
         initial = initial.substring(0, initial.indexOf("#"));
+        initial = initial.trim();
         }