Changeset 5219

Timestamp:

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

Author:

mdewsnip

Message:

Changed size of DoubleImageButtons to be consistent with others in the CDM.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java (modified) (1 diff)

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

@@ -566 +566 @@
 
         JPanel movement_pane = new JPanel();
+
         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.BUTTON_SIZE);
+        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.BUTTON_SIZE);
+        move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
 
         JPanel index_pane = new JPanel();