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"); }