Changeset 5867

Timestamp:

2003-11-18T14:01:22+13:00 (20 years ago)

Author:

mdewsnip

Message:

Fixed check for updating the Mirror tab.

File:

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

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

@@ -581 +581 @@
     }
     // If the rawname was mirror then rebuild workspace tree to remove caches.
-    if(rawname.equals("Mirroring")) {
+    if (rawname.equals("Mirror")) {
         collection_pane.refreshWorkspaceTree(WorkspaceTree.MAPPED_DIRECTORIES_CHANGED);
     }