Changeset 8039

Timestamp:

2004-08-24T15:38:34+12:00 (20 years ago)

Author:

mdewsnip

Message:

Removed some dead code.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java (modified) (9 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java

@@ -57 +57 @@
     private JMenu edit               = null;
     private JMenu metadata           = null;
-    private JMenu tools              = null;
     public JMenu help                = null;
     public JMenuItem file_associations;
@@ -68 +67 @@
     public JMenuItem file_options    = null;
     public JMenuItem file_save       = null;
-    public JMenuItem file_save_as;
     public JMenuItem edit_copy;
     public JMenuItem edit_cut;
     public JMenuItem edit_paste;
-    public JMenuItem edit_undo       = null;
-    public JMenuItem edit_redo       = null;
-    public JMenuItem edit_replace = null;
-    public JMenuItem edit_search = null;
     public JMenuItem metadata_import = null;
     public JMenuItem metadata_edit   = null;
     public JMenuItem metadata_export = null;
-    public JMenuItem tools_log       = null;
-    public JMenuItem tools_size      = null;
     public JMenuItem help_about;
     public JMenuItem help_browse;
@@ -146 +138 @@
     Dictionary.registerText(file_save, "Menu.File_Save");
 
-    // file_save_as = new JMenuItem();
-    // file_save_as.addActionListener(Gatherer.g_man);
-    // file_save_as.setEnabled(false);
-    // file_save_as.setMnemonic(KeyEvent.VK_A);
-    // Dictionary.registerText(file_save_as, "Menu.File_Save_As");
-
     // Layout (file menu)
     file.add(file_new);
     file.add(file_open);
     file.add(file_save);
-    // file.add(file_save_as);
     file.add(file_close);
     file.add(new JSeparator());
@@ -187 +172 @@
     Dictionary.registerText(edit_paste, "Menu.Edit_Paste");
 
-    // edit_undo = new JMenuItem();
-    // edit_undo.setEnabled(false);
-    // edit_undo.setMnemonic(KeyEvent.VK_U);
-    // Dictionary.registerText(edit_undo, "Menu.Edit_Undo");
-
-    // edit_redo = new JMenuItem();
-    // edit_redo.setEnabled(false);
-    // edit_redo.setMnemonic(KeyEvent.VK_D);
-    // Dictionary.registerText(edit_redo, "Menu.Edit_Redo");
-
-    // edit_search = new JMenuItem();
-    // edit_search.addActionListener(Gatherer.g_man);
-    // edit_search.setMnemonic(KeyEvent.VK_S);
-    // Dictionary.registerText(edit_search, "Menu.Edit_Search");
-
-    // edit_replace = new JMenuItem();
-    // edit_replace.addActionListener(Gatherer.g_man);
-    // edit_replace.setMnemonic(KeyEvent.VK_R);
-    // Dictionary.registerText(edit_replace, "Menu.Edit_Replace");
-
     // Layout (edit menu)
     edit.add(edit_cut);
     edit.add(edit_copy);
     edit.add(edit_paste);
-    // edit.add(new JSeparator());
-    // edit.add(edit_undo);
-    // edit.add(edit_redo);
-    // edit.add(new JSeparator());
-    // edit.add(edit_search);
-    // edit.add(edit_replace);
 
     // Metadata menu
@@ -247 +206 @@
     metadata.add(metadata_export);
     metadata.add(metadata_view);
-
-    // Tools menu
-    // tools = new JMenu();
-    // tools.setEnabled(false);
-    // tools.setMnemonic(KeyEvent.VK_T);
-    // Dictionary.registerText(tools, "Menu.Tools");
-
-    // tools_log = new JMenuItem();
-    // tools_log.addActionListener(Gatherer.g_man);
-    // tools_log.setMnemonic(KeyEvent.VK_L);
-    // Dictionary.registerText(tools_log, "Menu.Tools_Log");
-
-    // tools_size = new JMenuItem();
-    // tools_size.addActionListener(Gatherer.g_man);
-    // tools_size.setMnemonic(KeyEvent.VK_C);
-    // Dictionary.registerText(tools_size, "Menu.Tools_Calculate_Record_Size");
-
-    // Layout (tools menu)
-    // tools.add(tools_log);
-    // tools.add(tools_size);
 
     // Help menu
@@ -349 +288 @@
     this.add(Box.createHorizontalStrut(15));
     this.add(metadata);
-    // this.add(Box.createHorizontalStrut(15));
-    // this.add(tools);
     this.add(Box.createHorizontalGlue());
     this.add(help);
@@ -358 +295 @@
     file_close.setEnabled(ready);
     file_save.setEnabled(ready);
-    // file_save_as.setEnabled(ready);
     metadata.setEnabled(ready);
-    // tools.setEnabled(ready);
-    if (ready) {
-        // Gatherer.c_man.undo.registerRedoSource(edit_redo);
-        // Gatherer.c_man.undo.registerUndoSource(edit_undo);
-    }
     }
 
@@ -372 +303 @@
     edit.setEnabled(false);
     metadata.setEnabled(false);
-    // tools.setEnabled(false);
     help.setEnabled(false);
     }
@@ -389 +319 @@
     }
 
-    /** Set the enabled state of one of the help menu items, based on its 'tabs' current state. Note that this method should only be called from the AWTEvent thread. */
-    /* private void tabEnabled(int tab_index, boolean state) {
-    JMenuItem selected = help.getItem(tab_index + 2); // Remember general and separator items
-    selected.setEnabled(state);
-    } */
 
     /** In order to provide context aware help advice we keep track of which