Changeset 5842
- Timestamp:
- 2003-11-13T16:48:29+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r5810 r5842 53 53 import org.greenstone.gatherer.collection.Collection; 54 54 import org.greenstone.gatherer.collection.DeleteCollectionPrompt; 55 import org.greenstone.gatherer.collection.ExportCollectionPrompt; 55 56 import org.greenstone.gatherer.collection.SaveCollectionBox; 56 57 import org.greenstone.gatherer.file.FileNode; … … 181 182 System.gc(); 182 183 } 184 else if(esrc == menu_bar.file_export) { 185 ExportCollectionPrompt ecp = new ExportCollectionPrompt(); 186 ecp.display(); 187 ecp.destroy(); 188 ecp = null; 189 } 183 190 else if(esrc == menu_bar.file_exit) { 184 191 menu_bar.exit();
Note:
See TracChangeset
for help on using the changeset viewer.