diff --git a/demo/kitchen-sink/demo.js b/demo/kitchen-sink/demo.js index 7a1bc33a..bf22cb4c 100644 --- a/demo/kitchen-sink/demo.js +++ b/demo/kitchen-sink/demo.js @@ -475,6 +475,9 @@ bindCheckbox("enable_behaviours", function(checked) { env.editor.setBehavioursEnabled(checked); }); +bindCheckbox("fade_fold_widgets", function(checked) { + env.editor.setFadeFoldWidgets(checked); +}); var secondSession = null; bindDropdown("split", function(value) { diff --git a/kitchen-sink.html b/kitchen-sink.html index bf37f827..5fc01e17 100644 --- a/kitchen-sink.html +++ b/kitchen-sink.html @@ -200,6 +200,14 @@ + + + + + + + +
diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index 25fe9495..5fe79381 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -85,6 +85,7 @@ var VirtualRenderer = function(container, theme) { this.$gutterLayer = new GutterLayer(this.$gutter); this.$gutterLayer.on("changeGutterWidth", this.onResize.bind(this, true)); + this.setFadeFoldWidgets(true); this.$markerBack = new MarkerLayer(this.content);