public BreakpointMarker(TextMarkerService markerStrategy, Breakpoint bp, TextDocument doc, int line_begin, int line_end) : base(markerStrategy, doc, line_begin, line_end) { this.Breakpoint = bp; MarkerType = TextMarkerType.None; BackgroundColor = Colors.Red; }
public LineMarker(TextMarkerService svc, TextDocument doc, int beginLine, int endLine) { TextMarkerService = svc; StartOffset = doc.GetOffset(beginLine, 0); Length = doc.GetLineByNumber(endLine).EndOffset - StartOffset; }
public DebugInfoAvailableMarker(TextMarkerService markerStrategy, TextDocument doc, int line_begin, int line_end) : base(markerStrategy, doc, line_begin, line_end) { BackgroundColor = Colors.LightGreen; MarkerType = TextMarkerType.None; }
public CurrentFrameMarker(TextMarkerService markerStrategy, TextDocument doc, int line) : base(markerStrategy, doc, line, line) { MarkerType = TextMarkerType.None; BackgroundColor = Colors.Yellow; }
void InitEditor() { elementHost1.Child = editor; editor.ShowLineNumbers = true; MarkerStrategy = new TextMarkerService(editor); }