Changeset 6589

Timestamp:

2004-01-22T16:17:03+13:00 (20 years ago)

Author:

jmt12

Message:

Fixed the parsing of Fonts with spaces in their names

File:

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

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

@@ -426 +426 @@
         StringTokenizer tokenizer = new StringTokenizer(raw, TOKENIZER_PATTERN3);
         String face = tokenizer.nextToken().trim();
-        System.err.println("Face: " + face);
+        ///ystem.err.println("Face:  " + face);
         int style = Font.PLAIN;
-        String temp = tokenizer.nextToken().toUpperCase();
+        String temp = tokenizer.nextToken().toUpperCase().trim();
+        ///ystem.err.println("Style: " + temp);
         if(temp.equals("BOLD")) {
         style = Font.BOLD;
@@ -436 +437 @@
         }
         int size = Integer.parseInt(tokenizer.nextToken().trim());
+        ///ystem.err.println("Size:  " + size);
         result = new FontUIResource(face, style, size);
     }