From 306e918920fa9f1275ed16a479626d5b70106db6 Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Fri, 21 Feb 2014 22:38:42 +0400
Subject: [PATCH] fix #1825 editor created with showGutter=false cannot later
 show gutters

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

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 28cefde1..6034cc9c 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -1623,6 +1623,7 @@ config.defineOptions(VirtualRenderer.prototype, "renderer", {
     showGutter: {
         set: function(show){
             this.$gutter.style.display = show ? "block" : "none";
+            this.$loop.schedule(this.CHANGE_FULL);
             this.onGutterResize();
         },
         initialValue: true