Changeset 7491 for trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java

Timestamp:

2004-05-28T16:47:01+12:00 (20 years ago)

Author:

mdewsnip

Message:

Even more improvements to the workspace and collection trees. These are now hugely improved -- with refreshing being much quicker and much more reliable.

File:

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

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

@@ -56 +56 @@
     static public void refreshGreenstoneCollectionsMapping()
     {
-    greenstone_collections_mapping.unmap();
-    greenstone_collections_mapping.map();
+    greenstone_collections_mapping.refresh();
     }
 
@@ -90 +89 @@
 
 
-    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()));
-    }
-
-    // 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)
     {