(WindowEvent e)
| 538 | |
| 539 | frame.addWindowListener(new WindowAdapter() { |
| 540 | @Override |
| 541 | public void windowClosing(WindowEvent e) { |
| 542 | sketch.exit(); // don't quit, need to just shut everything down (0133) |
| 543 | } |
| 544 | }); |
| 545 | |
| 546 | // sketch.setFrame(frame); |