Changeset 7203 for trunk/gli/src/org
- Timestamp:
- 2004-04-19T12:25:36+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java
r7011 r7203 14 14 static private WorkspaceTreeModel workspace_tree_model = null; 15 15 static private FileNode greenstone_collections_mapping = null; 16 static private FileNode local_filespace_mapping = null; 16 17 static private FileNode web_cache_mapping = null; 17 18 static private FileNode[] collection_specific_mappings = null; … … 35 36 36 37 // Add the local filespace 37 workspace_tree_root.insert(FileSystem.getLocalFileSystem(workspace_tree_model)); 38 local_filespace_mapping = FileSystem.getLocalFileSystem(workspace_tree_model); 39 workspace_tree_root.insert(local_filespace_mapping); 38 40 39 41 // Add a mapping to the user home folder … … 123 125 super.refresh(new TreePath(child_node.getPath())); 124 126 } 127 128 // Refresh the local filespace tree specially (it is not unmapped so not refreshed) 129 for (int i = 0; i < local_filespace_mapping.getChildCount(); i++) { 130 FileNode child_node = (FileNode) local_filespace_mapping.getChildAt(i); 131 super.refresh(new TreePath(child_node.getPath())); 132 } 125 133 } 126 134 }
Note:
See TracChangeset
for help on using the changeset viewer.