(WindowEvent e)
| 172 | // add listener to handle window close box hit event |
| 173 | addWindowListener(new WindowAdapter() { |
| 174 | public void windowClosing(WindowEvent e) { |
| 175 | base.handleClose(Editor.this, false); |
| 176 | } |
| 177 | }); |
| 178 | // don't close the window when clicked, the app will take care |
| 179 | // of that via the handleQuitInternal() methods |
nothing calls this directly
no test coverage detected