Changeset 4683

Timestamp:

2003-06-16T11:47:59+12:00 (21 years ago)

Author:

mdewsnip

Message:

Fixed a annoying bug where if the collection had just been saved, it couldn't be closed.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

@@ -168 +168 @@
     }
     else if(esrc == menu_bar.file_close) {
-        if(!Gatherer.c_man.saved()) {
+        // if(!Gatherer.c_man.saved()) {
         cont = showSaveCollectionBox(true, false);
-        }
+        // }
         if(cont) {
         tab_pane.setSelectedComponent(collection_pane);
@@ -190 +190 @@
     }
     else if(esrc == menu_bar.file_open) {
-        // if(!Gatherer.c_man.saved()) {
-        // cont = showSaveCollectionBox(false, false);
-        // }
-        // if(cont) {
-        //if(!
         if (showLoadCollectionBox()) {
         tab_pane.setSelectedComponent(collection_pane);
         }
-        //) {
-        //collectionChanged(false);
-        //}
-        // }
     }
     else if(esrc == menu_bar.file_options) {