public void windowClosing(WindowEvent e) {
   if (e.getSource() == this) {
     close();
     if (Recorder.record) Recorder.record("run", "Close");
   }
 }
Beispiel #2
0
 public void close() {
   super.close();
   instance = null;
   location = getLocation();
 }