From 125539052ace7e934abdd280068fb4d9937fab9c Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Wed, 26 Jan 2011 19:13:54 +0800
Subject: [PATCH] setShowGutter must update width

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

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 47444ee4..134fe487 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -260,9 +260,14 @@ var VirtualRenderer = function(container, theme) {
     };
 
     this.setShowGutter = function(show){
+        if(this.showGutter === show)
+            return;
         this.$gutter.style.display = show ? "block" : "none";
         this.showGutter = show;
+        // set fake width to make onResize work
+        this.$size.width = -1
         this.onResize();
+        this.$gutterLayer.update(this.layerConfig)
     }
 
     this.$updatePrintMargin = function() {