(WindowEvent e)
| 238 | }); |
| 239 | addWindowFocusListener(new WindowAdapter() { |
| 240 | @Override |
| 241 | public void windowLostFocus(WindowEvent e) { |
| 242 | //if focus is lost, save the current state |
| 243 | Main.saveState(); |
| 244 | } |
| 245 | |
| 246 | @Override |
| 247 | public void windowGainedFocus(WindowEvent e) { |