/**
* Recalculates and reapplies all of the edge appearances. The visual attributes are calculated by
* delegating to the EdgePainter member of the current visual style.
*/
public void applyEdgeAppearances() {
for (PEdgeView edgeView : edgeViewMap.values()) {
FNode node = edgeView.getEdge().getSource();
HGHandle h = graph.getTypeSystem().getTypeHandle(node.getHandle());
EdgePainter p = getVisualStyle(true).getEdgePainter(h);
if (p == null) p = def_edge_painter;
p.paintEdge(edgeView);
}
}
/**
* Removes a PEdgeView from the GraphView.
*
* @param edge_view the view
* @return the removed view or null if no such view
*/
public PEdgeView removeEdgeView(PEdgeView edge_view) {
return removeEdgeView(edge_view.getEdge());
}