Changeset 13583

Timestamp:

2007-01-12T13:17:25+13:00 (17 years ago)

Author:

mdewsnip

Message:

Fixed a bug that caused an exception when deleting the currently loaded collection.

File:

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

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

@@ -288 +288 @@
 
 
+    public void closeCurrentCollection()
+    {
+    tab_pane.setSelectedComponent(gather_pane);
+    Gatherer.c_man.closeCollection();
+    }
+
+
     public void saveThenCloseCurrentCollection()
     {
-    tab_pane.setSelectedComponent(gather_pane);
     Gatherer.c_man.saveCollection();
-    Gatherer.c_man.closeCollection();
+    closeCurrentCollection();
     }
 
@@ -770 +776 @@
         DeleteCollectionPrompt dc_prompt = new DeleteCollectionPrompt();
         if (dc_prompt.display()) {
-        saveThenCloseCurrentCollection();
+        closeCurrentCollection();
         }
         dc_prompt.destroy();