Changeset 6830 for trunk/gli/src
- Timestamp:
- 2004-02-18T14:49:50+13:00 (20 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/cdm
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java
r6822 r6830 50 50 import org.greenstone.gatherer.cdm.DOMProxyListModel; 51 51 import org.greenstone.gatherer.file.FileNode; 52 import org.greenstone.gatherer.gui.DoubleImageButton;53 52 import org.greenstone.gatherer.gui.GComboBox; 54 53 import org.greenstone.gatherer.gui.GLIButton; … … 625 624 JPanel move_button_pane = new JPanel(); 626 625 627 //move_top_button = new DoubleImageButton("", Utility.getImage("arrow-top.gif"), Utility.getImage("arrow-top-disabled.gif")); 628 //move_top_button.setEnabled(false); 629 //move_top_button.setMnemonic(KeyEvent.VK_T); 630 // move_top_button.setDisplayedMnemonicIndex(8); // !! English-centric hack 631 //move_top_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE); 632 //Dictionary.registerBoth(move_top_button, "CDM.Move.Move_Top", "CDM.Move.Move_Top_Tooltip"); 633 634 move_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif")); 626 move_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 635 627 move_up_button.setEnabled(false); 636 628 move_up_button.setMnemonic(KeyEvent.VK_U); … … 638 630 Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 639 631 640 move_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));632 move_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 641 633 move_down_button.setEnabled(false); 642 634 move_down_button.setMnemonic(KeyEvent.VK_D); 643 635 move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE); 644 636 Dictionary.registerBoth(move_down_button, "CDM.Move.Move_Down", "CDM.Move.Move_Down_Tooltip"); 645 646 //move_bottom_button = new DoubleImageButton("", Utility.getImage("arrow-bottom.gif"), Utility.getImage("arrow-bottom-disabled.gif"));647 //move_bottom_button.setEnabled(false);648 //move_bottom_button.setMnemonic(KeyEvent.VK_B);649 //move_bottom_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);650 //Dictionary.registerBoth(move_bottom_button, "CDM.Move.Move_Bottom", "CDM.Move.Move_Bottom_Tooltip");651 637 652 638 // Listeners -
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r6770 r6830 40 40 import org.greenstone.gatherer.cdm.Index; 41 41 import org.greenstone.gatherer.checklist.CheckList; 42 import org.greenstone.gatherer.gui.DoubleImageButton;43 42 import org.greenstone.gatherer.gui.GComboBox; 44 43 import org.greenstone.gatherer.gui.GLIButton; … … 554 553 JPanel movement_pane = new JPanel(); 555 554 556 move_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));555 move_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 557 556 move_up_button.setEnabled(false); 558 557 move_up_button.setMnemonic(KeyEvent.VK_U); … … 560 559 Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 561 560 562 move_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));561 move_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 563 562 move_down_button.setEnabled(false); 564 563 move_down_button.setMnemonic(KeyEvent.VK_D); … … 938 937 JPanel index_movement_panel = new JPanel(); 939 938 940 move_index_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));939 move_index_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 941 940 move_index_up_button.setEnabled(false); 942 941 move_index_up_button.setMnemonic(KeyEvent.VK_U); … … 944 943 Dictionary.registerBoth(move_index_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 945 944 946 move_index_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));945 move_index_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 947 946 move_index_down_button.setEnabled(false); 948 947 move_index_down_button.setMnemonic(KeyEvent.VK_D); … … 1072 1071 JPanel level_movement_panel = new JPanel(); 1073 1072 1074 move_level_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));1073 move_level_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 1075 1074 move_level_up_button.setEnabled(false); 1076 1075 move_level_up_button.setMnemonic(KeyEvent.VK_U); … … 1078 1077 Dictionary.registerBoth(move_level_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 1079 1078 1080 move_level_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));1079 move_level_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 1081 1080 move_level_down_button.setEnabled(false); 1082 1081 move_level_down_button.setMnemonic(KeyEvent.VK_D); -
trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java
r6822 r6830 45 45 import org.greenstone.gatherer.cdm.Control; 46 46 import org.greenstone.gatherer.cdm.PlugIn; 47 import org.greenstone.gatherer.gui.DoubleImageButton;48 47 import org.greenstone.gatherer.gui.GComboBox; 49 48 import org.greenstone.gatherer.gui.GLIButton; … … 654 653 Dictionary.registerText(instructions, "CDM.PlugInManager.Instructions"); 655 654 656 //move_top_button = new DoubleImageButton("", Utility.getImage("arrow-top.gif"), Utility.getImage("arrow-top-disabled.gif")); 657 //move_top_button.setEnabled(false); 658 //move_top_button.setMnemonic(KeyEvent.VK_T); 659 //move_top_button.setDisplayedMnemonicIndex(8); // !! English-centric hack 660 //move_top_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE); 661 //Dictionary.registerBoth(move_top_button, "CDM.Move.Move_Top", "CDM.Move.Move_Top_Tooltip"); 662 663 move_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif")); 655 move_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 664 656 move_up_button.setEnabled(false); 665 657 move_up_button.setMnemonic(KeyEvent.VK_U); … … 667 659 Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 668 660 669 move_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));661 move_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 670 662 move_down_button.setEnabled(false); 671 663 move_down_button.setMnemonic(KeyEvent.VK_D); 672 664 move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE); 673 665 Dictionary.registerBoth(move_down_button, "CDM.Move.Move_Down", "CDM.Move.Move_Down_Tooltip"); 674 675 //move_bottom_button = new DoubleImageButton("", Utility.getImage("arrow-bottom.gif"), Utility.getImage("arrow-bottom-disabled.gif"));676 //move_bottom_button.setEnabled(false);677 //move_bottom_button.setMnemonic(KeyEvent.VK_B);678 //move_bottom_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);679 //Dictionary.registerBoth(move_bottom_button, "CDM.Move.Move_Bottom", "CDM.Move.Move_Bottom_Tooltip");680 666 681 667 movement_pane = new JPanel(); -
trunk/gli/src/org/greenstone/gatherer/cdm/SearchTypeManager.java
r6770 r6830 43 43 import org.greenstone.gatherer.cdm.SearchType; 44 44 import org.greenstone.gatherer.cdm.DOMProxyListModel; 45 import org.greenstone.gatherer.gui.DoubleImageButton;46 45 import org.greenstone.gatherer.gui.GComboBox; 47 46 import org.greenstone.gatherer.gui.GLIButton; … … 195 194 JPanel movement_panel = new JPanel(); 196 195 197 move_up_button = new DoubleImageButton("", Utility.getImage("arrow-up.gif"), Utility.getImage("arrow-up-disabled.gif"));196 move_up_button = new JButton("", Utility.getImage("arrow-up.gif")); 198 197 move_up_button.setEnabled(false); 199 198 move_up_button.setMnemonic(KeyEvent.VK_U); … … 201 200 Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 202 201 203 move_down_button = new DoubleImageButton("", Utility.getImage("arrow-down.gif"), Utility.getImage("arrow-down-disabled.gif"));202 move_down_button = new JButton("", Utility.getImage("arrow-down.gif")); 204 203 move_down_button.setEnabled(false); 205 204 move_down_button.setMnemonic(KeyEvent.VK_D);
Note:
See TracChangeset
for help on using the changeset viewer.