Changeset 6087 for trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java

Timestamp:

2003-12-02T17:18:37+13:00 (20 years ago)

Author:

jmt12

Message:

Extended arguments so they could be given a minimum and maximum range. Then if they are INTEGER type controls, the spinner control generated will honour any range information. Range information is supplied via the perl -xml type mechanism, using the tag form <Range>0,3</Range>

File:

• trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java

@@ -311 +311 @@
         case Argument.INTEGER:
         // Build a spinner
-        JSpinner spinner = new JSpinner();
+        JSpinner spinner = new JSpinner(new SpinnerNumberModel(0, argument.getMinimum(), argument.getMaximum(), 1));
+        try {
+            int default_value = Integer.parseInt(argument.getDefaultValue());
+            spinner.setValue(new Integer(default_value));
+        }
+        catch (Exception exception) {
+        }
         spinner.setEnabled(enable);
         spinner.setPreferredSize(SPINNER_SIZE);