Changeset 6823
- Timestamp:
- 2004-02-18T10:18:06+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r6770 r6823 616 616 public void refreshTrees(int refresh_reason) 617 617 { 618 if (collection_pane != null) {618 if (collection_pane != null) { 619 619 collection_pane.refreshWorkspaceTree(refresh_reason); 620 620 collection_pane.refreshCollectionTree(refresh_reason); 621 }622 if(metaedit_pane != null) {623 metaedit_pane.refreshTrees();624 621 } 625 622 }
Note:
See TracChangeset
for help on using the changeset viewer.