Changeset 5220

Timestamp:

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

Author:

mdewsnip

Message:

Changed "move to top/up/down/bottom" button code to be consistant with other usage in the CDM.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java (modified) (6 diffs)

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

@@ -544 +544 @@
     private JButton configure = null;
     /** Buttom to move an assinged plugin as low in the order as possible. */
-    private JButton move_bottom = null;
+    private JButton move_bottom_button = null;
     /** Button to move an assigned plugin one position lower in the order. */
-    private JButton move_down = null;
+    private JButton move_down_button = null;
     /** Button to move an assigned plugin as high in the order as possible. */
-    private JButton move_top = null;
+    private JButton move_top_button = null;
     /** Button to move an assigned plugin one position higher in the order. */
-    private JButton move_up = null;
+    private JButton move_up_button = null;
     /** Button to remove the selected plugin. */
     private JButton remove = null;
@@ -596 +596 @@
         instructions.setWrapStyleWord(true);
 
-        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_bottom.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
+        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_bottom_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
 
         movement_pane = new JPanel();
@@ -643 +646 @@
         configure.addActionListener(new ConfigureListener());
         MoveListener ml = new MoveListener();
-        move_bottom.addActionListener(ml);
-        move_down.addActionListener(ml);
-        move_top.addActionListener(ml);
-        move_up.addActionListener(ml);
+        move_bottom_button.addActionListener(ml);
+        move_down_button.addActionListener(ml);
+        move_top_button.addActionListener(ml);
+        move_up_button.addActionListener(ml);
         remove.addActionListener(new RemoveListener());
         plugin_list.addMouseListener(new ClickListener());
@@ -663 +666 @@
         movement_pane.setBorder(BorderFactory.createEmptyBorder(0,2,0,0));
         movement_pane.setLayout(new GridLayout(4,1));
-        movement_pane.add(move_top);
-        movement_pane.add(move_up);
-        movement_pane.add(move_down);
-        movement_pane.add(move_bottom);
+        movement_pane.add(move_top_button);
+        movement_pane.add(move_up_button);
+        movement_pane.add(move_down_button);
+        movement_pane.add(move_bottom_button);
 
         plugin_list_pane.setLayout(new BorderLayout());
@@ -827 +830 @@
         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);
+            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 {
-            move_top.setEnabled(true);
-            move_up.setEnabled(true);
-            move_down.setEnabled(true);
-            move_bottom.setEnabled(true);
+            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);
@@ -884 +887 @@
             if(object instanceof PlugIn) {
             PlugIn plugin = (PlugIn) object;
-            if(event.getSource() == move_top) {
+            if(event.getSource() == move_top_button) {
                 movePlugIn(plugin, true, true);
             }
-            else if(event.getSource() == move_up) {
+            else if(event.getSource() == move_up_button) {
                 movePlugIn(plugin, true, false);
             }
-            else if(event.getSource() == move_down) {
+            else if(event.getSource() == move_down_button) {
                 movePlugIn(plugin, false, false);
             }