Changeset 5218

Timestamp:

2003-08-19T17:21:20+12:00 (21 years ago)

Author:

mdewsnip

Message:

Changed "move to top/up/down/bottom" buttons to be DoubleImageButtons.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java

@@ -48 +48 @@
 import org.greenstone.gatherer.cdm.DOMProxyListModel;
 import org.greenstone.gatherer.file.FileNode;
+import org.greenstone.gatherer.gui.DoubleImageButton;
 import org.greenstone.gatherer.gui.GComboBox;
 import org.greenstone.gatherer.msm.MSMEvent;
@@ -576 +577 @@
         JPanel move_button_pane = new JPanel();
 
-        move_bottom_button = new JButton();
-        JLabel move_bottom_label = new JLabel(get("CDM.Move.Move_Bottom"));
-        move_bottom_label.setHorizontalAlignment(JLabel.CENTER);
-        move_bottom_label.setPreferredSize(LABEL_SIZE);
-        ImageIcon move_bottom_icon = Utility.getImage("arrow-bottom.gif");
-        move_bottom_button.setLayout(new BorderLayout());
-        move_bottom_button.add(new JLabel(move_bottom_icon), BorderLayout.WEST);
-        move_bottom_button.add(move_bottom_label, BorderLayout.CENTER);
-        move_bottom_button.add(new JLabel(move_bottom_icon), BorderLayout.EAST);
+        move_top_button = new DoubleImageButton(get("CDM.Move.Move_Top"), Utility.getImage("arrow-top.gif"), Utility.getImage("arrow-top-disabled.gif"));
+        move_top_button.setEnabled(false);
+        move_top_button.setMnemonic(KeyEvent.VK_T);
+        move_top_button.setDisplayedMnemonicIndex(8);  // !! English-centric hack
+        move_top_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+
+        move_up_button = new DoubleImageButton(get("CDM.Move.Move_Up"), Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));
+        move_up_button.setEnabled(false);
+        move_up_button.setMnemonic(KeyEvent.VK_U);
+        move_up_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+
+        move_down_button = new DoubleImageButton(get("CDM.Move.Move_Down"), Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));
+        move_down_button.setEnabled(false);
+        move_down_button.setMnemonic(KeyEvent.VK_D);
+        move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+
+        move_bottom_button = new DoubleImageButton(get("CDM.Move.Move_Bottom"), Utility.getImage("arrow-bottom.gif"), Utility.getImage("arrow-bottom-disabled.gif"));
+        move_bottom_button.setEnabled(false);
         move_bottom_button.setMnemonic(KeyEvent.VK_B);
-
-        move_down_button = new JButton();
-        JLabel move_down_label = new JLabel(get("CDM.Move.Move_Down"));
-        move_down_label.setHorizontalAlignment(JLabel.CENTER);
-        move_down_label.setPreferredSize(LABEL_SIZE);
-        ImageIcon move_down_icon = Utility.getImage("arrow-down.gif");
-        move_down_button.setLayout(new BorderLayout());
-        move_down_button.add(new JLabel(move_down_icon), BorderLayout.WEST);
-        move_down_button.add(move_down_label, BorderLayout.CENTER);
-        move_down_button.add(new JLabel(move_down_icon), BorderLayout.EAST);
-        move_down_button.setMnemonic(KeyEvent.VK_D);
-
-        move_top_button = new JButton();
-        JLabel move_top_label = new JLabel(get("CDM.Move.Move_Top"));
-        move_top_label.setHorizontalAlignment(JLabel.CENTER);
-        move_top_label.setPreferredSize(LABEL_SIZE);
-        ImageIcon move_top_icon = Utility.getImage("arrow-top.gif");
-        move_top_button.setLayout(new BorderLayout());
-        move_top_button.add(new JLabel(move_top_icon), BorderLayout.WEST);
-        move_top_button.add(move_top_label, BorderLayout.CENTER);
-        move_top_button.add(new JLabel(move_top_icon), BorderLayout.EAST);
-        move_top_button.setMnemonic(KeyEvent.VK_T);
-
-        move_up_button = new JButton();
-        JLabel move_up_label = new JLabel(get("CDM.Move.Move_Up"));
-        move_up_label.setHorizontalAlignment(JLabel.CENTER);
-        move_up_label.setPreferredSize(LABEL_SIZE);
-        ImageIcon move_up_icon = Utility.getImage("arrow-up.gif");
-        move_up_button.setLayout(new BorderLayout());
-        move_up_button.add(new JLabel(move_up_icon), BorderLayout.WEST);
-        move_up_button.add(move_up_label, BorderLayout.CENTER);
-        move_up_button.add(new JLabel(move_up_icon), BorderLayout.EAST);
-        move_up_button.setMnemonic(KeyEvent.VK_U);
+        move_bottom_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
 
         // Listeners
@@ -799 +777 @@
         if (!e.getValueIsAdjusting()) { // we get two events for one change in list selection - use the false one ( the second one) 
             if (classifier_list.isSelectionEmpty()) {
+            move_top_button.setEnabled(false);
+            move_up_button.setEnabled(false);
+            move_down_button.setEnabled(false);
+            move_bottom_button.setEnabled(false);
             configure.setEnabled(false);
             remove.setEnabled(false);
-            } else {
+            }
+            else {
+            move_top_button.setEnabled(true);
+            move_up_button.setEnabled(true);
+            move_down_button.setEnabled(true);
+            move_bottom_button.setEnabled(true);
             configure.setEnabled(true);
             remove.setEnabled(true);