- Timestamp:
- 2004-02-24T13:09:55+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r6842 r6879 122 122 /** The main tab pane containing the different views, available here to trap view change events. */ 123 123 private JTabbedPane tab_pane = null; 124 /** A reference to any existing search and replace module/dialog. */125 // private SearchAndReplace sar = null;126 124 /** A threaded tab changer to try and avoid NPE on exit. */ 127 125 private TabUpdater tab_updater = null; … … 135 133 private TreeSynchronizer workspace_tree_sync = null; 136 134 /**Constructor. Enable window events and arranges all other components. 137 138 135 * @param size The intial <strong>Dimension</strong> of the screen. 136 */ 139 137 public GUIManager(Dimension size) { 140 138 super(); … … 173 171 174 172 /** Any implementation of <i>ActionListener</i> must include this method so that we can be informed when an action has occured. In this case we are listening to actions from the menu-bar, and should react appropriately. 175 176 173 * @param event An <strong>ActionEvent</strong> containing information about the action that has occured. 174 */ 177 175 public void actionPerformed(ActionEvent event) { 178 176 boolean cont = true; … … 220 218 } 221 219 else if(esrc == menu_bar.file_options) { 222 223 224 220 // Just incase the user has edited the GeneralSettings of a collection without losing focus afterwards. Well I'm forever losing foc... ooh shiney. 221 design_pane.loseFocus(); 222 // And spawn a new preferences. 225 223 new Preferences(); 226 224 } … … 366 364 // browser_pane.afterDisplay(); 367 365 // } 368 if (mirror_pane != null) {366 if (mirror_pane != null) { 369 367 mirror_pane.afterDisplay(); 370 368 }
Note:
See TracChangeset
for help on using the changeset viewer.