Changeset 13823
- Timestamp:
- 2007-01-26T15:59:39+13:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r13600 r13823 190 190 eap = null; 191 191 } 192 else if (esrc == menu_bar.file_exit) {193 exit();194 }195 192 else if (esrc == menu_bar.file_new) { 196 193 new NewCollectionTask().start(); … … 204 201 else if (esrc == menu_bar.file_save) { 205 202 Gatherer.c_man.saveCollection(); 203 } 204 else if (esrc == menu_bar.file_exit) { 205 new ExitTask().start(); 206 206 } 207 207 … … 754 754 755 755 756 private class ExitTask 757 extends Thread 758 { 759 public void run() 760 { 761 exit(); 762 } 763 } 764 765 756 766 /** Any implementation of ChangeListener must include this method so we can be informed when the state of one of the registered objects changes. In this case we are listening to view changes within the tabbed pane. 757 767 * @param event A ChangeEvent containing information about the event that fired this call.
Note:
See TracChangeset
for help on using the changeset viewer.