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() {