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 FastColoredTextBoxHighlighter(FastColoredTextBox textBox, LanguageData language) { TextBox = textBox; Adapter = new EditorAdapter(language); ViewAdapter = new EditorViewAdapter(Adapter, this); Language = language; InitStyles(); InitBraces(); Connect(); UpdateViewRange(); ViewAdapter.SetNewText(TextBox.Text); }