Changeset 9800
- Timestamp:
- 2005-05-03T12:37:20+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r9649 r9800 149 149 } 150 150 else if (esrc == menu_bar.file_close) { 151 tab_pane.setSelectedComponent(gather_pane); // Must be done before closing the collection 151 152 Gatherer.c_man.saveCollection(); 152 153 Gatherer.c_man.closeCollection(); 153 tab_pane.setSelectedComponent(gather_pane);154 154 } 155 155 else if (esrc == menu_bar.file_delete) {
Note:
See TracChangeset
for help on using the changeset viewer.