PatchEdit.exitAction.exit();
PatchEdit.exit();
	public void JSLFrameClosed(JSLFrameEvent e) {	    JSLFrame f = e.getJSLFrame();	    windows.remove(f);	    if (windows.size() < 2) {		// toolbar should never be closed, only hidden		if (toolbar.isVisible()) {		    selected = toolbar.getJFrame();		    ErrorMsg.reportStatus("\""+selected.getTitle()+					  "\" selected");		} else if (invisible == null) {		    PatchEdit.exitAction.exit();		} else {		    ErrorMsg.reportStatus("All windows closed, but invisible "+					  "frame exists. Not exiting.");		}	    } else {		ErrorMsg.reportStatus("\""+e.getJSLFrame().getTitle()+				      "\" closed. " + (windows.size() - 1) + 				      " windows still open.");	    }	}