Changeset 5042

Timestamp:

2003-07-25T16:49:22+12:00 (21 years ago)

Author:

mdewsnip

Message:

Added new option to Connection pane: library path.

File:

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

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

@@ -3 +3 @@
 import java.awt.*;
 import java.awt.event.*;
+import java.net.*;
 import java.util.*;
 import javax.swing.*;
@@ -33 +34 @@
     private JCheckBox workflow_preview;
     private JTabbedPane tab_pane;
+    private JTextField library_path_field;
     private JTextField proxy_host_field;
     private JTextField proxy_port_field;
@@ -97 +99 @@
 
     private JPanel createConnectionPreferences() {
+    JPanel library_path_pane = new JPanel();
+    library_path_pane.setPreferredSize(ROW_SIZE);
+    JLabel library_path_label = new JLabel("Preferences.Connection.Library_Path");
+    library_path_label.setPreferredSize(LABEL_SIZE);
+    library_path_field = new JTextField(Gatherer.config.getString("general.exec_address", true));
+    library_path_field.setCaretPosition(0);
+
     boolean currently_enabled = Gatherer.config.get("general.use_proxy", true);
     // Creation
@@ -116 +125 @@
 
     // Connection
+    Gatherer.dictionary.register(library_path_label, null, false);
     Gatherer.dictionary.register(use_proxy_checkbox, null, false);
     Gatherer.dictionary.register(proxy_host_label, null, false);
@@ -121 +131 @@
     use_proxy_checkbox.addActionListener(new UseProxyListener());
     // Layout
+    library_path_pane.setLayout(new BorderLayout());
+    library_path_pane.add(library_path_label, BorderLayout.WEST);
+    library_path_pane.add(library_path_field, BorderLayout.CENTER);
+
     proxy_host_pane.setLayout(new BorderLayout());
     proxy_host_pane.add(proxy_host_label, BorderLayout.WEST);
@@ -130 +144 @@
 
     connection_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
+    connection_pane.add(library_path_pane);
     connection_pane.add(use_proxy_checkbox);
     connection_pane.add(proxy_host_pane);
@@ -275 +290 @@
                 // Submit the various changes.
                 // Connection preferences
+        String library_path_string = library_path_field.getText();
+        Gatherer.config.setString("general.exec_address", true, library_path_string);
+        if (!library_path_string.equals("")) {
+        try {
+            Gatherer.config.exec_address = new URL(library_path_string);
+        }
+        catch (MalformedURLException error) {
+            ///ystem.err.println("Error: Bad address: " + exec_address_string);
+        }
+        }
+
         Gatherer.config.set("general.use_proxy", true, use_proxy_checkbox.isSelected());
         Gatherer.config.setString("general.proxy_host", true, proxy_host_field.getText());