Workaround foldGutter not showing on first view

1 files changed, 3 insertions, 0 deletions

diff --git a/public/js/index.js b/public/js/index.js
index 1348aa7f..c3f9c431 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();
     }