Exemple #1
0
 public NewHighlighter(NewTextEditor textEditor, TextDocument document)
 {
     this.textEditor = textEditor;
     this.document   = document;
 }
Exemple #2
0
 public NewHighlightingColorizer(NewTextEditor textEditor)
 {
     this.textEditor = textEditor;
 }
Exemple #3
0
 public NewHighlightingColorizer(NewTextEditor textEditor)
 {
     this.textEditor = textEditor;
 }
Exemple #4
0
 public NewHighlighter(NewTextEditor textEditor, TextDocument document)
 {
     this.textEditor = textEditor;
     this.document = document;
 }