public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color) { this.offset = offset; this.length = length; this.textMarkerType = textMarkerType; this.color = color; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color) { if (length < 1) length = 1; this.offset = offset; this.length = length; TextMarkerType = textMarkerType; Color = color; }
public QuickletMarker(int offset, int length, TextMarkerType textMarkerType, Color color, string toolTip = "") : base(offset, length, textMarkerType, color) { if (toolTip != "") { this.ToolTip = toolTip; } }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color, Color foreColor) { this.offset = offset; this.length = length; this.textMarkerType = textMarkerType; this.color = color; this.foreColor = foreColor; this.overrideForeColor = true; }
public TextMarker(TextMarkerService service, int startOffset, int length) { if (service == null) throw new ArgumentNullException("service"); this.service = service; this.StartOffset = startOffset; this.Length = length; this.markerType = TextMarkerType.None; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color, Color foreColor) { if (length < 1) length = 1; this.offset = offset; this.length = length; TextMarkerType = textMarkerType; Color = color; ForeColor = foreColor; OverrideForeColor = true; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color) { if (length < 1) { length = 1; } this.offset = offset; this.length = length; TextMarkerType = textMarkerType; Color = color; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color) { if (length < 1) { throw new ArgumentOutOfRangeException("length", length, "length must be >= 1"); } this.offset = offset; this.length = length; this.textMarkerType = textMarkerType; this.color = color; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color, int priority) { if (length < 1) { length = 1; } this.offset = offset; this.length = length; this.textMarkerType = textMarkerType; this.color = color; this.priority = priority; }
public TextMarker(int offset, int length, TextMarkerType textMarkerType, Color color, Color foreColor) { if (length < 1) { length = 1; } this.offset = offset; this.length = length; TextMarkerType = textMarkerType; Color = color; ForeColor = foreColor; OverrideForeColor = true; }
public static ascx_SourceCodeEditor selectTextWithColor(this ascx_SourceCodeEditor codeEditor, DefaultSelection selection, TextMarkerType textMarkerType, Color color) { if (selection.Length < 0) { "in ascx_SourceCodeEditor.selectTextWithColor selection.Length was < 0".error(); return(codeEditor); } //"offset: {0} : lenght {1}".format(selection.Offset, selection.Length).info(); return((ascx_SourceCodeEditor)codeEditor.invokeOnThread( () => { //"offset: {0} : lenght {1}".format(selection.Offset, selection.Length).info(); var newMarker = new TextMarker( selection.Offset, selection.Length, textMarkerType, color); codeEditor.document().MarkerStrategy.AddMarker(newMarker); return codeEditor; })); }
public static SourceCodeEditor selectTextWithColor(this SourceCodeEditor codeEditor, DefaultSelection selection, TextMarkerType textMarkerType, Color color) { if (selection.Length < 0) { "in SourceCodeEditor.selectTextWithColor selection.Length was < 0".error(); return codeEditor; } return codeEditor.invokeOnThread( ()=>{ var newMarker = new TextMarker( selection.Offset, selection.Length, textMarkerType, color); codeEditor.document().MarkerStrategy.AddMarker(newMarker); return codeEditor; }); }
public static SourceCodeEditor selectTextWithColor(this SourceCodeEditor codeEditor, DefaultSelection selection, TextMarkerType textMarkerType, Color color) { if (selection.Length < 0) { "in SourceCodeEditor.selectTextWithColor selection.Length was < 0".error(); return(codeEditor); } return(codeEditor.invokeOnThread( () => { var newMarker = new TextMarker( selection.Offset, selection.Length, textMarkerType, color); codeEditor.document().MarkerStrategy.AddMarker(newMarker); return codeEditor; })); }
public TextMarker(int offset, int length, TextMarkerType textMarkerType) : this(offset, length, textMarkerType, Color.Red) { }
public void AddMarker(int offset, int length, TextMarkerType type, Color color) { Document.MarkerStrategy.AddMarker(new TextMarker(offset, length, type, color)); }
public TextMarker(int startOffset, int length) { this.StartOffset = startOffset; this.Length = length; this.m_MarkerType = TextMarkerType.None; }
public static ascx_SourceCodeEditor selectTextWithColor(this ascx_SourceCodeEditor codeEditor, DefaultSelection selection, TextMarkerType textMarkerType, Color color) { if (selection.Length < 0) { "in ascx_SourceCodeEditor.selectTextWithColor selection.Length was < 0".error(); return codeEditor; } //"offset: {0} : lenght {1}".format(selection.Offset, selection.Length).info(); return (ascx_SourceCodeEditor)codeEditor.invokeOnThread( () => { //"offset: {0} : lenght {1}".format(selection.Offset, selection.Length).info(); var newMarker = new TextMarker( selection.Offset, selection.Length, textMarkerType, color); codeEditor.document().MarkerStrategy.AddMarker(newMarker); return codeEditor; }); }