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