Changeset 5217

Timestamp:

2003-08-19T16:56:40+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/PlugInManager.java (modified) (5 diffs)

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

@@ -43 +43 @@
 import org.greenstone.gatherer.cdm.DynamicListModel;
 import org.greenstone.gatherer.cdm.PlugIn;
+import org.greenstone.gatherer.gui.DoubleImageButton;
 import org.greenstone.gatherer.gui.GComboBox;
 import org.greenstone.gatherer.msm.MSMUtils;
@@ -594 +595 @@
         instructions.setRows(6);
         instructions.setWrapStyleWord(true);
-        move_bottom = 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);
-        move_bottom.setLayout(new BorderLayout());
-        move_bottom.add(new JLabel(Utility.getImage("arrow-bottom.gif")), BorderLayout.WEST);
-        move_bottom.add(move_bottom_label, BorderLayout.CENTER);
-        move_bottom.add(new JLabel(Utility.getImage("arrow-bottom.gif")), BorderLayout.EAST);
+
+        move_top = new DoubleImageButton(get("CDM.Move.Move_Top"), Utility.getImage("arrow-top.gif"), Utility.getImage("arrow-top-disabled.gif"));
+        move_top.setEnabled(false);
+        move_top.setMnemonic(KeyEvent.VK_T);
+        move_top.setDisplayedMnemonicIndex(8);  // !! English-centric hack
+        move_top.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+        move_up = new DoubleImageButton(get("CDM.Move.Move_Up"), Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));
+        move_up.setEnabled(false);
+        move_up.setMnemonic(KeyEvent.VK_U);
+        move_up.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+        move_down = new DoubleImageButton(get("CDM.Move.Move_Down"), Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));
+        move_down.setEnabled(false);
+        move_down.setMnemonic(KeyEvent.VK_D);
+        move_down.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+        move_bottom = new DoubleImageButton(get("CDM.Move.Move_Bottom"), Utility.getImage("arrow-bottom.gif"), Utility.getImage("arrow-bottom-disabled.gif"));
+        move_bottom.setEnabled(false);
         move_bottom.setMnemonic(KeyEvent.VK_B);
-        move_down = 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);
-        move_down.setLayout(new BorderLayout());
-        move_down.add(new JLabel(Utility.getImage("arrow-down.gif")), BorderLayout.WEST);
-        move_down.add(move_down_label, BorderLayout.CENTER);
-        move_down.add(new JLabel(Utility.getImage("arrow-down.gif")), BorderLayout.EAST);
-        move_down.setMnemonic(KeyEvent.VK_D);
-        move_top = 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);
-        move_top.setLayout(new BorderLayout());
-        move_top.add(new JLabel(Utility.getImage("arrow-top.gif")), BorderLayout.WEST);
-        move_top.add(move_top_label, BorderLayout.CENTER);
-        move_top.add(new JLabel(Utility.getImage("arrow-top.gif")), BorderLayout.EAST);
-        move_top.setMnemonic(KeyEvent.VK_T);
-        move_up = 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);
-        move_up.setLayout(new BorderLayout());
-        move_up.add(new JLabel(Utility.getImage("arrow-up.gif")), BorderLayout.WEST);
-        move_up.add(move_up_label, BorderLayout.CENTER);
-        move_up.add(new JLabel(Utility.getImage("arrow-up.gif")), BorderLayout.EAST);
-        move_up.setMnemonic(KeyEvent.VK_U);
+        move_bottom.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+
         movement_pane = new JPanel();
 
@@ -696 +680 @@
         plugin_pane.add(plugin);
 
-                // Scope these mad bordering skillz.
+        // Scope these mad bordering skillz.
         JPanel temp = new JPanel(new BorderLayout());
         temp.setBorder
@@ -704 +688 @@
           (BorderFactory.createTitledBorder(get("Controls")),
            BorderFactory.createEmptyBorder(2,2,2,2))));
-                                                                     
+
         temp.add(plugin_pane, BorderLayout.NORTH);
         temp.add(button_pane, BorderLayout.SOUTH);
@@ -841 +825 @@
 
         public void valueChanged(ListSelectionEvent e) {
-        if (!e.getValueIsAdjusting()) { // we get two events for one change in list selection - use the false one ( the second one) 
+        if (!e.getValueIsAdjusting()) { // we get two events for one change in list selection - use the false one (the second one) 
             if (plugin_list.isSelectionEmpty()) {
+            move_top.setEnabled(false);
+            move_up.setEnabled(false);
+            move_down.setEnabled(false);
+            move_bottom.setEnabled(false);
             configure.setEnabled(false);
             remove.setEnabled(false);
-            } else {
+            }
+            else {
+            move_top.setEnabled(true);
+            move_up.setEnabled(true);
+            move_down.setEnabled(true);
+            move_bottom.setEnabled(true);
             configure.setEnabled(true);
             remove.setEnabled(true);