public void JSLFrameClosed(JSLFrameEvent e) { windows.remove(e.getJSLFrame()); if (windows.size() < 1) { if (toolbar.isVisible()) { selected = toolbar.getJFrame(); ErrorMsg.reportStatus("\""+selected.getTitle()+ "\" selected"); } else if (invisible == null) { PatchEdit.appConfig.savePrefs();    System.exit(0); } }  }
public void JSLFrameClosed(JSLFrameEvent e) {}
	public void JSLFrameClosed(JSLFrameEvent e) {	    windows.remove(e.getJSLFrame());	    if (windows.size() < 1) {		if (toolbar.isVisible()) {		    selected = toolbar.getJFrame();		    ErrorMsg.reportStatus("\""+selected.getTitle()+					  "\" selected");		} else if (invisible == null) {		    PatchEdit.appConfig.savePrefs();		    // We shouldn't need to unload the midi driver if		    // the whole JVM is going away.		    // unloadMidiDriver();		    System.exit(0);		}	    }			}