Changeset 6665
- Timestamp:
- 2004-01-30T09:50:10+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r6662 r6665 540 540 public void exit() { 541 541 // Tell everyone who cares that they are losing focus 542 if( config_pane.canSave()) {542 if(!Gatherer.c_man.ready() || config_pane.canSave()) { 543 543 boolean cont = true; 544 544 if(Gatherer.c_man.ready() && !Gatherer.c_man.saved()) {
Note:
See TracChangeset
for help on using the changeset viewer.