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