Changeset 7011

Timestamp:

2004-03-10T20:26:13+13:00 (20 years ago)

Author:

mdewsnip

Message:

Fixed a bug where the workspace tree was not being refreshed when the filter was changed.

File:

• trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java

@@ -1 +1 @@
 package org.greenstone.gatherer.file;
 
+import javax.swing.tree.TreePath;
 import org.greenstone.gatherer.collection.CollectionManager;
 import org.greenstone.gatherer.file.FileNode;
@@ -108 +109 @@
     loadCollectionSpecificMappings();
     }
+
+
+    public void refresh(TreePath path)
+    {
+    // If we're not refreshing the whole tree just refresh a certain path
+    if (path != null) {
+        super.refresh(path);
+    }
+
+    // Refresh each of the nodes in the workspace tree
+    for (int i = 0; i < workspace_tree_root.getChildCount(); i++) {
+        FileNode child_node = (FileNode) workspace_tree_root.getChildAt(i);
+        super.refresh(new TreePath(child_node.getPath()));
+    }
+    }
 }