private void graphObjectEditor_GraphObjectUpdated(object sender,
GraphObjectEditor.GraphObjectEventArgs e)
{
graphContainer.Refresh();
if (e.ChangeKind == GraphObjectEditor.ChangeKind.Canceled ||
e.ChangeKind == GraphObjectEditor.ChangeKind.Deleted)
{
infoSplit.Panel2Collapsed = true;
}
}
public NodeSpecificsEditor(GraphObjectEditor parent, Node node)
{
this.parent = parent;
this.node = node;
}
public ArcSpecificsEditor(GraphObjectEditor parent, Arc arc)
{
this.parent = parent;
this.arc = arc;
}
