124125126127128129130131132133134
} // any parameter // (including ports in case they are also displayed on the edge) EdgeFigure figure = (EdgeFigure) getFigure(); figure.refresh(evt.getPropertyName(), evt.getNewValue()); } void updateFigures() { } }