(WindowEvent e)
| 447 | |
| 448 | frame.addWindowListener(new WindowAdapter() { |
| 449 | @Override |
| 450 | public void windowClosing(WindowEvent e) { |
| 451 | sketch.exit(); // don't quit, need to just shut everything down (0133) |
| 452 | } |
| 453 | }); |
| 454 | |
| 455 | // sketch.setFrame(frame); |