Changeset 13944
- Timestamp:
- 2007-02-23T16:39:15+13:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r13823 r13944 190 190 eap = null; 191 191 } 192 else if (esrc == menu_bar.file_exit) { 193 exit(); 194 } 192 195 else if (esrc == menu_bar.file_new) { 193 196 new NewCollectionTask().start(); … … 201 204 else if (esrc == menu_bar.file_save) { 202 205 Gatherer.c_man.saveCollection(); 203 }204 else if (esrc == menu_bar.file_exit) {205 new ExitTask().start();206 206 } 207 207 … … 746 746 DeleteCollectionPrompt dc_prompt = new DeleteCollectionPrompt(); 747 747 if (dc_prompt.display()) { 748 closeCurrentCollection();748 //closeCurrentCollection(); 749 749 } 750 750 dc_prompt.destroy(); 751 751 dc_prompt = null; 752 }753 }754 755 756 private class ExitTask757 extends Thread758 {759 public void run()760 {761 exit();762 752 } 763 753 }
Note:
See TracChangeset
for help on using the changeset viewer.