public void Write(string text, TextType textType) { var startOffset = Doc.TextLength; Doc.Insert(Doc.TextLength, text); MoveCaretToEnd(); var endOffset = Doc.TextLength; if (textType != TextType.None) { var colorizer = new OffsetColorizer(GetColor(textType)) { StartOffset = startOffset, EndOffset = endOffset }; textEditor.TextArea.TextView.LineTransformers.Add(colorizer); } }
public void Write(string text, TextType textType) { var startOffset = Doc.TextLength; Doc.Insert(Doc.TextLength, text); MoveCaretToEnd(); var endOffset = Doc.TextLength; if (textType != TextType.None) { var colorizer = new OffsetColorizer(GetColor(textType)) { StartOffset = startOffset, EndOffset = endOffset }; textEditor.TextArea.TextView.LineTransformers.Add(colorizer); } }