void TextBox_TextChanged(object sender, EventArgs e) { //if we are here while colorizing, it means the "change" event is a result of our coloring action if (_colorizing) { return; } ViewAdapter.SetNewText(TextBox.Text); }
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); }