sometimes "delete lines" did not update the active

line highlight
This commit is contained in:
Fabian Jakobs 2011-11-11 15:56:55 +01:00
commit 328dbc312f

View file

@ -306,7 +306,7 @@ var Editor = function(renderer, session) {
this._dispatchEvent("change", e);
// update cursor because tab characters can influence the cursor position
this.renderer.updateCursor();
this.onCursorChange();
};
this.onTokenizerUpdate = function(e) {