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);
}