9899100101102103104105106107
return defaultScanner; } protected AbsDjRuleBasedScanner getJavaScriptScanner() { if (jsScanner == null) { jsScanner = new JavaScriptScanner(colorProvider, IDjangoPrefs.DEFAULT_FG_COLOR, IDjangoPrefs.DEFAULT_FG_STYLE); } return jsScanner; }
123124125126127128129130131132