Fix bug with desynchronizing in the XQuery highlighter.
This commit is contained in:
parent
45f19c76b8
commit
aea9a21bd6
1 changed files with 2 additions and 3 deletions
|
|
@ -135,15 +135,14 @@ oop.inherits(Mode, TextMode);
|
|||
});
|
||||
|
||||
worker.on("highlight", function(tokens) {
|
||||
if(that.$deltas.length > 0) return;
|
||||
that.$tokenizer.tokens = tokens.data.tokens;
|
||||
that.$tokenizer.lines = session.getDocument().getAllLines();
|
||||
session.bgTokenizer.lines = [];
|
||||
session.bgTokenizer.states = [];
|
||||
|
||||
var rows = Object.keys(that.$tokenizer.tokens);
|
||||
for(var i=0; i < rows.length; i++) {
|
||||
var row = parseInt(rows[i]);
|
||||
delete session.bgTokenizer.lines[row];
|
||||
delete session.bgTokenizer.states[row];
|
||||
session.bgTokenizer.fireUpdateEvent(row, row);
|
||||
}
|
||||
});
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue