}
return jsScanner;
}
protected HtmlTagScanner getHtmlTagScanner() {
if (htmlTagScanner == null) {
htmlTagScanner = new HtmlTagScanner(colorProvider,
//IDjangoPrefs.HTMLTAG_COLOR, IDjangoPrefs.HTMLTAG_STYLE);
//IDjangoPrefs.HTMLTAG_ATTR_COLOR, IDjangoPrefs.HTMLTAG_ATTR_STYLE);
IDjangoPrefs.DEFAULT_FG_COLOR, IDjangoPrefs.DEFAULT_FG_STYLE);
}
return htmlTagScanner;