}
} else last_selected = null;
	public void JSLFrameClosing(JSLFrameEvent e) {	    JSLFrame f = e.getJSLFrame();	    if (f == toolbar) {		if (windows.size() < 2 && invisible == null) {		    PatchEdit.exit();		} else {		    ErrorMsg.reportStatus(ErrorMsg.FRAME, "\"" + f.getTitle() + "\" hidden. " +					  (windows.size() - 1)					  + " windows still open.");		}	    }	}