fix update issue when deleting lines

This commit is contained in:
Fabian Jakobs 2011-01-31 08:11:58 +01:00
commit d2cf4055f1

View file

@ -264,7 +264,7 @@ var Editor =function(renderer, session) {
var range = delta.range;
this.bgTokenizer.start(range.start.row);
if (range.start.row == range.end.row && delta.action != "insertLines")
if (range.start.row == range.end.row && delta.action != "insertLines" && delta.action != "removeLines")
var lastRow = range.end.row;
else
lastRow = Infinity;