editor().figureSelectionChanged(view());
	public void mouseUp(MouseEvent e, int x, int y) {		if (getDelegateTool() != null) { // JDK1.1 doesn't guarantee mouseDown, mouseDrag, mouseUp			getDelegateTool().mouseUp(e, x, y);			getDelegateTool().deactivate();			setDelegateTool(null);		}		if (view() != null) {			view().unfreezeView();		}	}