Changeset 7494

Timestamp:

2004-05-28T17:02:52+12:00 (20 years ago)

Author:

mdewsnip

Message:

Oops... put back in some code necessary for the workspace tree file filter --- but fixed a bug where the whole shebang was refreshing unnecessarily.

File:

• trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java (modified) (1 diff)

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

@@ -89 +89 @@
 
 
+    // -- This code is necessary to support the workspace tree file filter --
+    public void refresh(TreePath path)
+    {
+    // If we're not refreshing the whole tree just refresh a certain path
+    if (path != null) {
+        super.refresh(path);
+        return;
+    }
+
+    // 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()));
+    }
+
+    // Refresh the local filespace tree specially (it is not unmapped so not refreshed)
+    for (int i = 0; i < local_filespace_mapping.getChildCount(); i++) {
+        FileNode child_node = (FileNode) local_filespace_mapping.getChildAt(i);
+        super.refresh(new TreePath(child_node.getPath()));
+    }
+    }
+
+
     static private boolean doesArrayContain(Object[] array, Object item)
     {