Changeset 9800

Timestamp:

2005-05-03T12:37:20+12:00 (19 years ago)

Author:

mdewsnip

Message:

Now switches back to the Gather pane before closing the collection, to prevent nasty problems.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (1 diff)

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

@@ -149 +149 @@
     }
     else if (esrc == menu_bar.file_close) {
+        tab_pane.setSelectedComponent(gather_pane);  // Must be done before closing the collection
         Gatherer.c_man.saveCollection();
         Gatherer.c_man.closeCollection();
-        tab_pane.setSelectedComponent(gather_pane);
     }
     else if (esrc == menu_bar.file_delete) {