Workaround foldGutter not showing on first view

2015-09-25 18:35:18 +08:00
parent b87463ae0d
commit db956cc298
1 changed files with 3 additions and 0 deletions
--- 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();
    }