public void JSLFrameClosed(JSLFrameEvent e) {}
public void JSLFrameClosed(JSLFrameEvent e) { JSLFrame f = e.getJSLFrame(); windows.remove(f); if (windows.size() < 2) {  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."); } }
	public void JSLFrameClosed(JSLFrameEvent e) {}