Changeset 6830


Ignore:
Timestamp:
2004-02-18T14:49:50+13:00 (20 years ago)
Author:
mdewsnip
Message:

No longer uses DoubleImageButtons - a simple JButton will do, is much more standard, and doesn't require a separate "disabled" image.

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  
    5050import org.greenstone.gatherer.cdm.DOMProxyListModel;
    5151import org.greenstone.gatherer.file.FileNode;
    52 import org.greenstone.gatherer.gui.DoubleImageButton;
    5352import org.greenstone.gatherer.gui.GComboBox;
    5453import org.greenstone.gatherer.gui.GLIButton;
    … …  
    625624        JPanel move_button_pane = new JPanel();
    626625
    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"));
    635627        move_up_button.setEnabled(false);
    636628        move_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    638630        Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    639631
    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"));
    641633        move_down_button.setEnabled(false);
    642634        move_down_button.setMnemonic(KeyEvent.VK_D);
    643635        move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
    644636        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");
    651637
    652638        // Listeners

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

    r6770 r6830  
    4040import org.greenstone.gatherer.cdm.Index;
    4141import org.greenstone.gatherer.checklist.CheckList;
    42 import org.greenstone.gatherer.gui.DoubleImageButton;
    4342import org.greenstone.gatherer.gui.GComboBox;
    4443import org.greenstone.gatherer.gui.GLIButton;
    … …  
    554553        JPanel movement_pane = new JPanel();
    555554
    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"));
    557556        move_up_button.setEnabled(false);
    558557        move_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    560559        Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    561560
    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"));
    563562        move_down_button.setEnabled(false);
    564563        move_down_button.setMnemonic(KeyEvent.VK_D);
    … …  
    938937        JPanel index_movement_panel = new JPanel();
    939938
    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"));
    941940        move_index_up_button.setEnabled(false);
    942941        move_index_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    944943        Dictionary.registerBoth(move_index_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    945944
    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"));
    947946        move_index_down_button.setEnabled(false);
    948947        move_index_down_button.setMnemonic(KeyEvent.VK_D);
    … …  
    10721071        JPanel level_movement_panel = new JPanel();
    10731072
    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"));
    10751074        move_level_up_button.setEnabled(false);
    10761075        move_level_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    10781077        Dictionary.registerBoth(move_level_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    10791078
    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"));
    10811080        move_level_down_button.setEnabled(false);
    10821081        move_level_down_button.setMnemonic(KeyEvent.VK_D);

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

    r6822 r6830  
    4545import org.greenstone.gatherer.cdm.Control;
    4646import org.greenstone.gatherer.cdm.PlugIn;
    47 import org.greenstone.gatherer.gui.DoubleImageButton;
    4847import org.greenstone.gatherer.gui.GComboBox;
    4948import org.greenstone.gatherer.gui.GLIButton;
    … …  
    654653        Dictionary.registerText(instructions, "CDM.PlugInManager.Instructions");
    655654
    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"));
    664656        move_up_button.setEnabled(false);
    665657        move_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    667659        Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    668660
    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"));
    670662        move_down_button.setEnabled(false);
    671663        move_down_button.setMnemonic(KeyEvent.VK_D);
    672664        move_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);
    673665        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");
    680666
    681667        movement_pane = new JPanel();

  • trunk/gli/src/org/greenstone/gatherer/cdm/SearchTypeManager.java

    r6770 r6830  
    4343import org.greenstone.gatherer.cdm.SearchType;
    4444import org.greenstone.gatherer.cdm.DOMProxyListModel;
    45 import org.greenstone.gatherer.gui.DoubleImageButton;
    4645import org.greenstone.gatherer.gui.GComboBox;
    4746import org.greenstone.gatherer.gui.GLIButton;
    … …  
    195194        JPanel movement_panel = new JPanel();
    196195
    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"));
    198197        move_up_button.setEnabled(false);
    199198        move_up_button.setMnemonic(KeyEvent.VK_U);
    … …  
    201200        Dictionary.registerBoth(move_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip");
    202201
    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"));
    204203        move_down_button.setEnabled(false);
    205204        move_down_button.setMnemonic(KeyEvent.VK_D);
Note: See TracChangeset for help on using the changeset viewer.