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