Changeset 7203

Timestamp:

2004-04-19T12:25:36+12:00 (20 years ago)

Author:

mdewsnip

Message:

Fixed another bug with file tree refreshing when the filter was changed. This only affected Windows machines for some reason, and only affected the "Local Filespace" tree.

File:

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

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

@@ -14 +14 @@
     static private WorkspaceTreeModel workspace_tree_model = null;
     static private FileNode greenstone_collections_mapping = null;
+    static private FileNode local_filespace_mapping = null;
     static private FileNode web_cache_mapping = null;
     static private FileNode[] collection_specific_mappings = null;
@@ -35 +36 @@
 
     // Add the local filespace
-    workspace_tree_root.insert(FileSystem.getLocalFileSystem(workspace_tree_model));
+    local_filespace_mapping = FileSystem.getLocalFileSystem(workspace_tree_model);
+    workspace_tree_root.insert(local_filespace_mapping);
 
     // Add a mapping to the user home folder
@@ -123 +125 @@
         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()));
+    }
     }
 }