459460461462463464465466467468469
diagramScene.gotoFigure(f); } }; a.setEnabled(true); a.putValue(Action.SMALL_ICON, new ColorIcon(f.getColor())); String name = f.getLines()[0]; name += " ("; if (f.getCluster() != null) {