Changeset 8351 for trunk/gli/src/org
- Timestamp:
- 2004-10-18T10:28:48+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r8343 r8351 467 467 if (Gatherer.isGsdlRemote) { 468 468 // consider saving??? 469 System.err.println("**** Hiding GUI panel");470 469 hide(); 471 470 } … … 474 473 boolean cont = true; 475 474 if(Gatherer.c_man.ready() && !Gatherer.c_man.saved()) { 476 System.err.println("***** c_man not saved");477 475 cont = showSaveCollectionBox(false, true); 478 476 } … … 927 925 protected void processWindowEvent(WindowEvent event) { 928 926 if(event.getID() == WindowEvent.WINDOW_CLOSING) { 929 System.err.println("***** Processing Window Event ... closing");930 927 exit(); 931 928 }
Note:
See TracChangeset
for help on using the changeset viewer.