- Timestamp:
- 2004-10-08T16:07:35+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r8253 r8256 146 146 extends FocusAdapter { 147 147 public void focusGained(FocusEvent e) { 148 if (Gatherer.current_modal != null) {149 Gatherer.current_modal.makeVisible();150 Gatherer.current_modal.toFront();148 if (ModalDialog.current_modal != null) { 149 ModalDialog.current_modal.makeVisible(); 150 ModalDialog.current_modal.toFront(); 151 151 } 152 152 }
Note:
See TracChangeset
for help on using the changeset viewer.