public NewHighlighter(NewTextEditor textEditor, TextDocument document)
{
this.textEditor = textEditor;
this.document = document;
}
public NewHighlightingColorizer(NewTextEditor textEditor)
{
this.textEditor = textEditor;
}
public NewHighlightingColorizer(NewTextEditor textEditor)
{
this.textEditor = textEditor;
}
public NewHighlighter(NewTextEditor textEditor, TextDocument document)
{
this.textEditor = textEditor;
this.document = document;
}
