(WindowEvent e)
| 251 | // add listener to handle window close box hit event |
| 252 | addWindowListener(new WindowAdapter() { |
| 253 | public void windowClosing(WindowEvent e) { |
| 254 | base.handleClose(Editor.this); |
| 255 | } |
| 256 | }); |
| 257 | // don't close the window when clicked, the app will take care |
| 258 | // of that via the handleQuitInternal() methods |
nothing calls this directly
no test coverage detected