return htmlTagScanner;
}
protected DjangoTagScanner getDjangoTagScanner() {
if (djTagScanner == null) {
djTagScanner = new DjangoTagScanner(colorProvider,
//IDjangoPrefs.DJDELIMITER_COLOR, IDjangoPrefs.DJDELIMITER_STYLE);
IDjangoPrefs.DEFAULT_FG_COLOR, IDjangoPrefs.DEFAULT_FG_STYLE);
}
return djTagScanner;
}