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

Timestamp:

2003-11-16T17:50:12+13:00 (21 years ago)

Author:

mdewsnip

Message:

More improvements to smart workspace tree refreshing. Library contents changes (eg. deleting collections) now refreshes the collect directory nicely.

File:

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

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

@@ -11 +11 @@
     static private FileNode workspace_tree_root = null;
     static private WorkspaceTreeModel workspace_tree_model = null;
+    static private FileNode greenstone_collections_mapping = null;
     static private FileNode[] collection_specific_mappings = null;
 
@@ -27 +28 @@
 
     // Add the Greenstone Collections mapping
-    workspace_tree_root.insert(CollectionManager.getGreenstoneCollectionsMapping());
+    greenstone_collections_mapping = CollectionManager.getGreenstoneCollectionsMapping();
+    workspace_tree_root.insert(greenstone_collections_mapping);
 
     // Add the local filespace
@@ -61 +63 @@
 
 
+    static public void refreshGreenstoneCollectionsMapping()
+    {
+    greenstone_collections_mapping.unmap();
+    greenstone_collections_mapping.map();
+    }
+
+
     static public void refreshCollectionSpecificMappings()
     {