Changeset 5589 for trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java

Timestamp:

2003-10-06T17:55:00+13:00 (21 years ago)

Author:

mdewsnip

Message:

Nearly finished adding tooltips (and thank goodness for that).

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java (modified) (4 diffs)

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

@@ -14 +14 @@
 import org.greenstone.gatherer.checklist.Entry;
 import org.greenstone.gatherer.gui.ModalDialog;
-import org.greenstone.gatherer.gui.NumberField;
 import org.greenstone.gatherer.gui.SimpleMenuBar;
 import org.greenstone.gatherer.util.StaticStrings;
@@ -48 +47 @@
     private JTextField library_path_field;
     private JTextField proxy_host_field;
-    private JTextField proxy_port_field;
+    private JSpinner proxy_port_field;
     private Preferences self;
 
@@ -144 +143 @@
     proxy_port_label = new JLabel();
     proxy_port_label.setPreferredSize(LABEL_SIZE);
-    Dictionary.registerText(proxy_port_label, "Preferences.Connection.Proxy_Port"); 
-    proxy_port_field = new NumberField(Gatherer.config.getString("general.proxy_port", true));
+    Dictionary.registerText(proxy_port_label, "Preferences.Connection.Proxy_Port");
+    String port_value = Gatherer.config.getString("general.proxy_port", true);
+    proxy_port_field = new JSpinner(new SpinnerNumberModel((new Integer(port_value)).intValue(), 0, 65535, 1));
     proxy_port_field.setEnabled(currently_enabled);
     Dictionary.registerTooltip(proxy_port_field, "Preferences.Connection.Proxy_Port_Tooltip");
@@ -417 +417 @@
         Gatherer.config.set("general.use_proxy", true, use_proxy_checkbox.isSelected());
         Gatherer.config.setString("general.proxy_host", true, proxy_host_field.getText());
-        Gatherer.config.setString("general.proxy_port", true, proxy_port_field.getText());
+        Gatherer.config.setString("general.proxy_port", true, proxy_port_field.getValue() + "");
         Gatherer.setProxy();