public void windowClosing(WindowEvent e) {
   if (e.getSource() == this) {
     close();
     if (Recorder.record) Recorder.record("run", "Close");
   }
 }
示例#2
0
 public void windowClosing(WindowEvent evt) {
   JFrame frame = (JFrame) evt.getSource();
   frame.setVisible(false);
   frame.dispose();
 }
示例#3
0
 public void windowClosing(WindowEvent e) {
   if (e.getSource() == this) dispose();
 }