From b6fbe5b6bb7f1b0b3079f7103219cbf51e22b9a3 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 13 Dec 2011 16:48:13 +0100
Subject: [PATCH] hide fold icons in manual mode

---
 demo/kitchen-sink/demo.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demo/kitchen-sink/demo.js b/demo/kitchen-sink/demo.js
index f8ab0add..f33dbcaf 100644
--- a/demo/kitchen-sink/demo.js
+++ b/demo/kitchen-sink/demo.js
@@ -370,6 +370,7 @@ bindDropdown("fontsize", function(value) {
 
 bindDropdown("folding", function(value) {
     env.editor.getSession().setFoldStyle(value);
+    env.editor.setShowFoldWidgets(value !== "manual");
 });
 
 bindDropdown("soft_wrap", function(value) {