(WindowEvent e)
| 755 | } |
| 756 | |
| 757 | public void windowClosing(WindowEvent e) { |
| 758 | if (Executer.getListenerCount()>0) |
| 759 | doCommand("Quit"); |
| 760 | else { |
| 761 | quit(); |
| 762 | windowClosed = true; |
| 763 | } |
| 764 | } |
| 765 | |
| 766 | public void windowActivated(WindowEvent e) { |
| 767 | if (IJ.isMacintosh() && !quitting) { |
nothing calls this directly
no test coverage detected