From 328dbc312f308810c2532ad27552df5b490ba9ab Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 11 Nov 2011 15:56:55 +0100
Subject: [PATCH] sometimes "delete lines" did not update the active line
 highlight

---
 lib/ace/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index f8ff8568..1baf50f2 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -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) {