void (InputTool tool) { if (myTool != null) { myTool.deactivate(); } myTool = tool; if (myTool != null) { myTool.setToolProvider(this); myTool.activate(); // hack: update cursor if (myArea != null) { myTool.setArea(myArea); myTool.refreshCursor(); try { myTool.mouseMove(myEvent, myArea); } catch (Exception e) { showError(DesignerBundle.message("tool.provider.edit.operation"), e); } } } }