Example #1
0
 public void RemoveView(EditorViewAdapter view)
 {
     lock (this) {
     _views.Remove(view);
     _viewsCopy = null;
       }
 }
Example #2
0
 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);
 }
Example #4
0
 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);
 }