From db956cc2982a13e3232f39270963beacac2f38cd Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han <jacky_cute0808@hotmail.com>
Date: Fri, 25 Sep 2015 18:35:18 +0800
Subject: [PATCH] Workaround foldGutter not showing on first view

---
 public/js/index.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/public/js/index.js b/public/js/index.js
index 1348aa7f9..c3f9c4310 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -659,6 +659,9 @@ function changeMode(type) {
             addStatusBar();
             updateStatusBar();
         }
+        //work around foldGutter might not init properly
+        editor.setOption('foldGutter', false);
+        editor.setOption('foldGutter', true);
     } else {
         ui.toolbar.uploadImage.fadeOut();
     }