Changeset 11992
- Timestamp:
- 2006-07-04T09:29:53+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r11629 r11992 67 67 public class GUIManager 68 68 extends JFrame 69 implements ActionListener, ChangeListener 69 implements ActionListener, ChangeListener, WindowFocusListener{ 70 70 /** The download pane contains controls for downloading internet sites. */ 71 71 public DownloadPane download_pane = null; … … 80 80 81 81 public FileOpenActionListener foa_listener = new FileOpenActionListener(); 82 82 83 83 84 /** A reference to the currently instantiated help window, if any. */ … … 100 101 101 102 103 104 105 106 final static String newline = "\n"; 107 final static String space = " "; 108 109 102 110 /**Constructor. Enable window events and arranges all other components. 103 111 * @param size The intial <strong>Dimension</strong> of the screen. … … 114 122 this.addFocusListener(new GLIGUIFocusListener()); 115 123 124 this.addWindowFocusListener(this); 125 116 126 // Make the Tool tip hang around for a rediculous amount of time. 117 127 ToolTipManager.sharedInstance().setDismissDelay(10000); … … 123 133 } 124 134 135 136 137 public void windowGainedFocus(WindowEvent e) { 138 //System.out.println("JPanel windowGainedFocus."); 139 } 140 141 public void windowLostFocus(WindowEvent e) { 142 //System.out.println("JPanel windowLostFocus."); 143 144 Gatherer.g_man.design_pane.saveConfiguration(); 145 146 } 147 148 125 149 private class GLIGUIFocusListener 126 150 extends FocusAdapter { 127 151 public void focusGained(FocusEvent e) { 128 152 if (ModalDialog.current_modal != null) { 129 153 ModalDialog.current_modal.makeVisible(); 130 154 ModalDialog.current_modal.toFront(); … … 269 293 { 270 294 tab_pane.setSelectedComponent(gather_pane); 271 Gatherer.c_man.saveCollection();295 Gatherer.c_man.saveCollection(); 272 296 Gatherer.c_man.closeCollection(); 273 297 }
Note:
See TracChangeset
for help on using the changeset viewer.