Changeset 18524

Show
Ignore:
Timestamp:
16.02.2009 14:52:28 (11 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

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/Dictionary.java

    r18370 r18524  
    133133    { 
    134134    try { 
    135         String initial_raw = dictionary.getString(key); 
     135      String initial_raw = dictionary.getString(key).trim(); 
    136136 
    137137        // Convert into Unicode 
     
    152152        if (initial.indexOf("#") != -1) { 
    153153        initial = initial.substring(0, initial.indexOf("#")); 
     154        initial = initial.trim(); 
    154155        } 
    155156