diff options
Diffstat (limited to 'public/js')
-rw-r--r-- | public/js/index.js | 3 |
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(); } |