fix redrawing bugs

This commit is contained in:
Fabian Jakobs 2010-11-02 18:49:14 +01:00
commit d9ac4f3abe

View file

@ -120,8 +120,11 @@ var BackgroundTokenizer = function(tokenizer, editor) {
this.lines[row] = tokens;
}
}
else
rows.push(this.lines[row]);
else {
var tokens = this.lines[row];
state = tokens.state;
rows.push(tokens);
}
}
return rows;
};