Changeset 6220
- Timestamp:
- 2003-12-10T17:12:09+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r6145 r6220 552 552 public void refreshTrees(int refresh_reason) 553 553 { 554 collection_pane.refreshWorkspaceTree(refresh_reason); 555 collection_pane.refreshCollectionTree(refresh_reason); 556 metaedit_pane.refreshTrees(); 554 if(collection_pane != null) { 555 collection_pane.refreshWorkspaceTree(refresh_reason); 556 collection_pane.refreshCollectionTree(refresh_reason); 557 } 558 if(metaedit_pane != null) { 559 metaedit_pane.refreshTrees(); 560 } 557 561 } 558 562
Note:
See TracChangeset
for help on using the changeset viewer.