From 062c39643293bbbf85374e382ec4f9358ebd93df Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 15 Dec 2010 17:34:24 +0100
Subject: [PATCH] IE rendering fix

---
 lib/ace/virtual_renderer.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index fab0da15..03c3322e 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -184,7 +184,7 @@ var VirtualRenderer = function(container, theme) {
      * Triggers resize of the editor
      */
     this.onResize = function() {
-        this.$loop.schedule(this.CHANGE_SIZE);
+        var changes = this.CHANGE_SIZE;
 
         var height = dom.getInnerHeight(this.container);
         if (this.$size.height != height) {
@@ -195,7 +195,7 @@ var VirtualRenderer = function(container, theme) {
 
             if (this.doc) {
                 this.scrollToY(this.getScrollTop());
-                this.$loop.schedule(this.CHANGE_FULL);
+                changes = changes | this.CHANGE_FULL;
             }
         }
 
@@ -210,6 +210,7 @@ var VirtualRenderer = function(container, theme) {
 
         this.$size.scrollerWidth = this.scroller.clientWidth;
         this.$size.scrollerHeight = this.scroller.clientHeight;
+        this.$loop.schedule(changes);
     };
 
     this.setTokenizer = function(tokenizer) {
@@ -372,7 +373,8 @@ var VirtualRenderer = function(container, theme) {
         else if (changes & this.CHANGE_LINES) {
             this.$updateLines();
             this.$updateScrollBar();
-        } if (changes & this.CHANGE_GUTTER) {
+            this.showGutter && this.$gutterLayer.update(this.layerConfig);
+        } else if (changes & this.CHANGE_GUTTER) {
             this.showGutter && this.$gutterLayer.update(this.layerConfig);
         }