- Timestamp:
- 2003-11-18T14:57:36+13:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java
r5869 r5871 81 81 static public void refreshGreenstoneCollectionsMapping() 82 82 { 83 ((FileSystemModel) workspace_tree_model).refresh(84 83 greenstone_collections_mapping.unmap(); 85 84 greenstone_collections_mapping.map();
Note:
See TracChangeset
for help on using the changeset viewer.