public void setHighlighted(boolean highlighted) { if (this.highlighted != highlighted) { this.highlighted = highlighted; arrowHead.setHighlighted(highlighted); invalidatePaint(); } }
public void setArcStyle(GraphArcStyle style) { if ((style != null) && (this.style != style)) { this.style = style; invalidateFullBounds(); invalidatePaint(); } }
public void setSelected(boolean selected) { if (this.selected != selected) { this.selected = selected; arrowHead.setSelected(selected); invalidatePaint(); } }
invalidatePaint(); invalidateFullBounds();