public void JSLFrameIconified(JSLFrameEvent e) { if (e.getJSLFrame() != toolbar) last_selected = null; }
public void JSLFrameIconified(JSLFrameEvent e) {}
	public void JSLFrameIconified(JSLFrameEvent e) {	    if (e.getJSLFrame() != toolbar)	        last_selected = null;    	}