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