summaryrefslogtreecommitdiff
path: root/public
diff options
context:
space:
mode:
authorWu Cheng-Han2015-09-25 18:35:18 +0800
committerWu Cheng-Han2015-09-25 18:35:18 +0800
commitdb956cc2982a13e3232f39270963beacac2f38cd (patch)
tree88473609ec2f9e926295def2d4ac008b1d698a47 /public
parentb87463ae0d3c3e02a578a67d63fb7170fcf63539 (diff)
Workaround foldGutter not showing on first view
Diffstat (limited to '')
-rw-r--r--public/js/index.js3
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();
}