Changeset 11763
- Timestamp:
- 2006-05-03T14:19:59+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTreeModel.java
r8992 r11763 154 154 super.refresh(new TreePath(child_node.getPath())); 155 155 } 156 157 // Refresh the local filespace tree specially (it is not unmapped so not refreshed)158 for (int i = 0; i < local_filespace_node.getChildCount(); i++) {159 WorkspaceTreeNode child_node = (WorkspaceTreeNode) local_filespace_node.getChildAt(i);160 super.refresh(new TreePath(child_node.getPath()));161 }162 156 } 163 157
Note:
See TracChangeset
for help on using the changeset viewer.