Changeset 4480

Timestamp:

2003-06-04T16:18:44+12:00 (21 years ago)

Author:

mdewsnip

Message:

Added facilities for reading and writing Rectangles (for storing the Gatherer window location).

File:

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

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

@@ -243 +243 @@
     }
 
+    /** Retrieve the value of the named property as a Rectangle. */
+    public Rectangle getBounds(String property, boolean general) {
+    Rectangle result = new Rectangle(100, 100, 100, 100); // Default
+    try {
+        String raw = getString(property, general);
+        // Rectangle is (x, y, width, height)
+        StringTokenizer tokenizer = new StringTokenizer(raw, TOKENIZER_PATTERN1);
+        int x = Integer.parseInt(tokenizer.nextToken());
+        int y = Integer.parseInt(tokenizer.nextToken());
+        int width = Integer.parseInt(tokenizer.nextToken());
+        int height = Integer.parseInt(tokenizer.nextToken());
+        result = new Rectangle(x, y, width, height);
+    }
+    catch(Exception error) {
+        Gatherer.printStackTrace(error);
+    }
+    return result;
+    }
+
     /** Retrieve the value of the named property as a Color. */
     public Color getColor(String property, boolean general) {
@@ -438 +457 @@
     updateUI();
     ///atherer.println("Collection configuration set.");
+    }
+
+    /** Set the named property, from the specified configuration, using the given Rectangle value. */
+    public void setBounds(String property, boolean general, Rectangle value) {
+    StringBuffer text = new StringBuffer("");
+    text.append(value.x);
+    text.append(", ");
+    text.append(value.y);
+    text.append(", ");
+    text.append(value.width);
+    text.append(", ");
+    text.append(value.height);
+    setString(property, general, text.toString());
     }