public void RemoveView(EditorViewAdapter view) { lock (this) { _views.Remove(view); _viewsCopy = null; } }
public void AddView(EditorViewAdapter view) { lock (this) { _views.Add(view); _viewsCopy = null; } }
public RichTextBoxHighlighter(RichTextBox textBox, LanguageData language) { TextBox = textBox; Adapter = new EditorAdapter(language); ViewAdapter = new EditorViewAdapter(Adapter, this); InitColorTable(); Connect(); UpdateViewRange(); ViewAdapter.SetNewText(TextBox.Text); }
public FastColoredTextBoxHighlighter(FastColoredTextBox textBox, LanguageData language, ColorSettings settings) { TextBox = textBox; Adapter = new EditorAdapter(language); ViewAdapter = new EditorViewAdapter(Adapter, this); Language = language; InitStyles(settings); InitBraces(); Connect(); UpdateViewRange(); ViewAdapter.SetNewText(TextBox.Text); }