Changeset 9017 for trunk/gli/src/org/greenstone/gatherer/collection/DeleteCollectionPrompt.java

Timestamp:

2005-02-14T11:07:52+13:00 (19 years ago)

Author:

mdewsnip

Message:

Moved some GUI stuff out of CollectionManager and into GUIManager.

File:

• trunk/gli/src/org/greenstone/gatherer/collection/DeleteCollectionPrompt.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/collection/DeleteCollectionPrompt.java

@@ -48 +48 @@
 import org.greenstone.gatherer.Gatherer;
 import org.greenstone.gatherer.LocalLibraryServer;
+import org.greenstone.gatherer.file.WorkspaceTree;  // !!! Don't like this here
 import org.greenstone.gatherer.gui.GLIButton;
 import org.greenstone.gatherer.gui.ModalDialog;
@@ -348 +349 @@
 
         if (Gatherer.c_man.deleteCollection(collection.getShortName())) {
+        // Refresh the collections shown in the workspace tree
+        Gatherer.g_man.refreshWorkspaceTree(WorkspaceTree.LIBRARY_CONTENTS_CHANGED);
+
         if (Gatherer.c_man.getCollection() != null && collection.getShortName().equals(Gatherer.c_man.getCollection().getName())) {
             current_coll_deleted = true;