@Override
/** Closing the application */
protected void processWindowEvent(WindowEvent e) {
super.processWindowEvent(e);
if (e.getID() == WindowEvent.WINDOW_CLOSING) {
System.exit(0);
}
}
protected void processWindowEvent(java.awt.event.WindowEvent e) {
super.processWindowEvent(e);
if (e.getID() != java.awt.event.WindowEvent.WINDOW_OPENED)
//noinspection UnnecessaryReturnStatement
return;
GLFrame glFrame = new GLFrame(outputArea);
glFrame.setVisible(true);
}
@Override
protected void processWindowEvent(final WindowEvent e) {
if (e.getID() == WindowEvent.WINDOW_CLOSING) {
if (!plugin) {
dispose();
System.exit(0);
} else {
saveWindowState();
setVisible(false);
}
} else {
super.processWindowEvent(e);
}
}
/** Overridden so we can exit when window is closed */
protected void processWindowEvent(WindowEvent e) {
super.processWindowEvent(e);
if (e.getID() == WindowEvent.WINDOW_CLOSING) {
System.exit(0);
}
}