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