fix ignorecase in createKeywordMapper

This commit is contained in:
nightwing 2012-11-25 01:28:11 +04:00
commit c44565ff3a
2 changed files with 5 additions and 1 deletions

View file

@ -97,7 +97,10 @@ var TextHighlightRules = function() {
this.createKeywordMapper = function(map, defaultToken, ignoreCase, splitChar) { this.createKeywordMapper = function(map, defaultToken, ignoreCase, splitChar) {
var keywords = Object.create(null); var keywords = Object.create(null);
Object.keys(map).forEach(function(className) { Object.keys(map).forEach(function(className) {
var list = map[className].split(splitChar || "|"); var a = map[className];
if (ignoreCase)
a = a.toLowerCase();
var list = a.split(splitChar || "|");
for (var i = list.length; i--; ) for (var i = list.length; i--; )
keywords[list[i]] = className; keywords[list[i]] = className;
}); });

View file

@ -130,6 +130,7 @@ var continueRun = function(rules) {
var Tokenizer = DebugTokenizer; var Tokenizer = DebugTokenizer;
var tk = new Tokenizer(new rules().getRules()); var tk = new Tokenizer(new rules().getRules());
editor2.session.$mode.$tokenizer = tk;
editor2.session.bgTokenizer.setTokenizer(tk); editor2.session.bgTokenizer.setTokenizer(tk);
editor2.renderer.updateText(); editor2.renderer.updateText();
}; };