public void UpdateMarkers(MarkerRoot newMarkerRoot, MarkerNode[] newMarkerSequence) { markerSequence = newMarkerSequence; MarkerRoot = newMarkerRoot; RefreshMarkers(); prevMarkerSequence = newMarkerSequence; }
public MarkerUpdateEventArgs(string?title, MarkerRoot markerRoot, IList <MarkerNode> markerSequence, HashSet <MarkerNode> highlightedNodes, MarkerNode?caretNode) { this.Title = title; this.MarkerRoot = markerRoot; this.MarkerSequence = markerSequence; this.HighlightedNodes = highlightedNodes; this.CaretNode = caretNode; }
public HasMarkers(MarkerRoot markerRoot) { this.MarkerRoot = markerRoot; this.Markers = markerRoot.ToArray(); }
public MarkerRootBuilder() { this.Root = new MarkerRoot(); }