diff options
| -rw-r--r-- | public/js/index.js | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index 2e0513c2..56766657 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -1223,7 +1223,11 @@ function checkSyncToggle() { } } -function checkEditorScrollbar() { +var checkEditorScrollbar = _.debounce(function () { + editor.operation(checkEditorScrollbarInner); +}, 50); + +function checkEditorScrollbarInner() { // workaround simple scroll bar knob // will get wrong position when editor height changed var scrollInfo = editor.getScrollInfo(); |