Changeset 4659
- Timestamp:
- 2003-06-13T16:57:59+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r4607 r4659 177 177 else if(esrc == menu_bar.file_delete) { 178 178 DeleteCollectionPrompt dcp = new DeleteCollectionPrompt(); 179 dcp.display();179 boolean current_deleted = dcp.display(); 180 180 dcp.destroy(); 181 181 dcp = null; 182 // need to close the current collection? 183 if (current_deleted) { 184 Gatherer.c_man.closeCollection(); 185 tab_pane.setSelectedComponent(collection_pane); 186 } 182 187 System.gc(); 183 188 }
Note:
See TracChangeset
for help on using the changeset viewer.