Changeset 8343 for trunk/gli/src/org/greenstone
- Timestamp:
- 2004-10-15T12:11:09+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r8313 r8343 188 188 } 189 189 else if(esrc == menu_bar.file_exit) { 190 System.err.println("*** menu bar file exit called");191 190 exit(); 192 191 } … … 462 461 public void exit() { 463 462 // Tell everyone who cares that they are losing focus 464 System.err.println("**** GUIManager exit called!");463 DebugStream.println("**** GUIManager exit called!"); 465 464 466 465 if(!Gatherer.c_man.ready() || design_pane.canSave()) { … … 484 483 help = null; 485 484 } 486 System.err.println("**** Calling Gatherer.self.exit");485 DebugStream.println("**** Calling Gatherer.self.exit"); 487 486 Gatherer.self.exit(); 488 487 }
Note:
See TracChangeset
for help on using the changeset viewer.