public void setActiveTool(ToolEntry tool) {
EditPart part = getFocusEditPart();
if (part instanceof GraphicalEditPart) {
IFigure fig = ((GraphicalEditPart) part).getFigure();
if (fig instanceof Clickable) {
part.setSelected(EditPart.SELECTED_NONE);
((Clickable) fig).getModel().setArmed(false);
((Clickable) fig).getModel().setPressed(false);
((Clickable) fig).getModel().setSelected(false);
}
}
super.setActiveTool(null);
if (tool instanceof PaletteItem && !listener.isDragging()) {
insertIntoEditor((PaletteItem) tool);
}
}
