- Timestamp:
- 2004-01-28T14:53:46+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r6622 r6643 147 147 this.workspace_tree_sync = new TreeSynchronizer(); 148 148 149 this.setDefaultCloseOperation(DO_NOTHING_ON_CLOSE); 150 149 151 // Add a focus listener to ourselves. Thus if we gain focus when a Modal Dialog should instead have it, we can try to bring the modal dialog to the fore. 150 152 this.addFocusListener(new GLIGUIFocusListener()); … … 365 367 // browser_pane.afterDisplay(); 366 368 // } 367 mirror_pane.afterDisplay(); 369 if(mirror_pane != null) { 370 mirror_pane.afterDisplay(); 371 } 368 372 metaedit_pane.afterDisplay(); 369 373 }
Note:
See TracChangeset
for help on using the changeset viewer.