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;
}
public CurrentFrameMarker(TextMarkerService markerStrategy, TextDocument doc, int line) : base(markerStrategy, doc, line, line)
{
MarkerType = TextMarkerType.None;
BackgroundColor = Colors.Yellow;
}
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 LineMarker(TextMarkerService svc, TextDocument doc, int beginLine, int endLine)
{
TextMarkerService = svc;
StartOffset = doc.GetOffset(beginLine, 0);
Length = doc.GetLineByNumber(endLine).EndOffset - StartOffset;
}
void InitEditor()
{
elementHost1.Child = editor;
editor.ShowLineNumbers = true;
MarkerStrategy = new TextMarkerService(editor);
}
void InitEditor()
{
elementHost1.Child = editor;
editor.ShowLineNumbers = true;
MarkerStrategy = new TextMarkerService(editor);
}
