if (!(modifiedObject instanceof GraphEdge)) {
return;
}
GraphEdge edge = (GraphEdge) modifiedObject;
EdgeDisplayProperty edgeProps = getMutableDisplayProperty(edge);
if (property.equals(COL_LINE_STYLE) && (value instanceof Integer)) {
edgeProps.setLineStyle(LineStyle.values()[(Integer) value]);
} else if (property.equals(COL_ARROWHEAD) && (value instanceof Integer)) {
edgeProps.setArrowhead(ArrowheadStyle.values()[(Integer) value]);
} else if (property.equals(COL_LINE_COLOR) && (value instanceof String)) {
Color newColor = StringUtils.stringToColor((String) value);
edgeProps.setColor(newColor);
}
// Update listeners and the table
getEditor().setEdgeProperty(edge, edgeProps);
edgeTable.update(element, new String[] {property});