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

Timestamp:

2009-02-24T13:48:08+13:00 (15 years ago)

Author:

kjdon

Message:

GLI three modes change: systems mode is no more.

File:

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

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

@@ -84 +84 @@
     private JRadioButton expert_mode_radio_button;
     private JRadioButton librarian_mode_radio_button;
-    private JRadioButton systems_mode_radio_button;
     private JSpinner proxy_port_field;
     private JTabbedPane tab_pane;
@@ -542 +541 @@
     mode_button_group.add(librarian_mode_radio_button);
     
-        systems_mode_radio_button = new JRadioButton(Dictionary.get("Preferences.Mode.Systems"));
-    systems_mode_radio_button.setOpaque(false);
-        systems_mode_radio_button.setComponentOrientation(Dictionary.getOrientation());
-    mode_button_group.add(systems_mode_radio_button);
     
         mode_description_textarea = new JTextArea();
@@ -558 +553 @@
         mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Assistant_Description"));
         break;
-    case Configuration.SYSTEMS_MODE:
-        systems_mode_radio_button.setSelected(true);
-        mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Systems_Description"));
-        break;
     case Configuration.EXPERT_MODE:
         expert_mode_radio_button.setSelected(true);
@@ -575 +566 @@
     expert_mode_radio_button.addActionListener(listener);
     librarian_mode_radio_button.addActionListener(listener);
-    systems_mode_radio_button.addActionListener(listener);
     listener = null;
     // Layout
     button_panel.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));
-    button_panel.setLayout(new GridLayout(4,1,2,2));
+    button_panel.setLayout(new GridLayout(3,1,2,2));
     button_panel.add(assistant_mode_radio_button);
     button_panel.add(librarian_mode_radio_button);
-    button_panel.add(systems_mode_radio_button);
     button_panel.add(expert_mode_radio_button);
 
@@ -855 +844 @@
         if (assistant_mode_radio_button.isSelected()) {
         new_mode = Configuration.ASSISTANT_MODE;
-        }
-        else if (systems_mode_radio_button.isSelected()) {
-        new_mode = Configuration.SYSTEMS_MODE;
         }
         else if (expert_mode_radio_button.isSelected()) {
@@ -971 +957 @@
         else if(source == expert_mode_radio_button) {
         mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Expert_Description"));
-        }
-        else if(source == systems_mode_radio_button) {
-        mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Systems_Description"));
         }
         else {