fix #1825 editor created with showGutter=false cannot later show gutters

This commit is contained in:
nightwing 2014-02-21 22:38:42 +04:00
commit 306e918920

View file

@ -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