From 00d9ab74f8ebe34830c7190f363cb45bef3f483d Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 26 Oct 2010 16:33:41 +0200
Subject: [PATCH] fix scrollbar update

---
 src/ace/VirtualRenderer.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ace/VirtualRenderer.js b/src/ace/VirtualRenderer.js
index f2029c5b..0075e2c2 100644
--- a/src/ace/VirtualRenderer.js
+++ b/src/ace/VirtualRenderer.js
@@ -184,7 +184,6 @@ var VirtualRenderer = function(container, theme) {
 
     this.setTokenizer = function(tokenizer) {
         this.$textLayer.setTokenizer(tokenizer);
-
         this.$loop.schedule(this.CHANGE_TEXT);
     };
 
@@ -317,7 +316,8 @@ var VirtualRenderer = function(container, theme) {
             this.$gutterLayer.update(this.layerConfig);
         }
         else if (changes & this.CHANGE_LINES) {
-            this.$updateLines();
+            this.$updateLines();     
+            this.$updateScrollBar();       
         }
         else if (changes & this.CHANGE_SCROLL) {
             this.$textLayer.scrollLines(this.layerConfig);