setShowGutter must update width

2011-01-26 19:13:54 +08:00 · 2011-01-26 19:13:54 +08:00 · 125539052a
commit 125539052a
parent ffada5c7b2
1 changed files with 5 additions and 0 deletions
--- 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() {