public Feature(string name, GraphObject graphObject,
FeatureType featureType, string description = "")
{
Name = name;
GraphObject = graphObject;
FeatureType = featureType;
Description = description;
}
public void HighlightAsSelected(GraphObject graphObject)
{
if (graphObject != null)
{
specialHighlight[graphObject] = displayProps.SelectedPen;
Refresh();
}
}
public void RemoveHighlight(GraphObject graphObject)
{
if (graphObject != null &&
specialHighlight.ContainsKey(graphObject))
{
specialHighlight.Remove(graphObject);
Refresh();
}
}
public void ProcessGraphClick(GraphMouseEventArgs args)
{
parent.graphContainer.RemoveHighlight(selected);
selected = args.GraphObject;
if (selected != null)
{
parent.infoSplit.Panel2Collapsed = false;
parent.graphObjectEditor.GraphObject = selected;
parent.graphContainer.HighlightAsSelected(selected);
}
else
{
parent.infoSplit.Panel2Collapsed = true;
}
}
public void Cleanup()
{
parent.graphContainer.RemoveHighlight(selected);
selected = null;
}
public GraphMouseEventArgs(MouseEventArgs args, GraphObject obj)
: base(args.Button, args.Clicks, args.X, args.Y, args.Delta)
{
GraphObject = obj;
}
public GraphObjectEventArgs(
GraphObject graphObject,
ChangeKind changeKind)
{
GraphObject = graphObject;
ChangeKind = changeKind;
}
private void deleteButton_Click(object sender, EventArgs e)
{
if (graphObject.GraphObjectId != 0)
{
specificsEditor.removeObject();
DbContext.SaveChanges();
GraphObject = new Node();
OnGraphObjectUpdated(new GraphObjectEventArgs(
graphObject, ChangeKind.Deleted));
}
}
public void VisitGraphObject(GraphObject graphObject)
{
throw new ArgumentException("Cannot draw a basic GraphObject");
}