From 3b827c11aef0ebab53e4b13255a70a419fac3bda Mon Sep 17 00:00:00 2001 From: nightwing Date: Fri, 20 Apr 2012 12:15:51 +0400 Subject: [PATCH] make setFadeFoldWidgets on by default --- demo/kitchen-sink/demo.js | 3 +++ kitchen-sink.html | 8 ++++++++ lib/ace/virtual_renderer.js | 1 + 3 files changed, 12 insertions(+) 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);