diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/js/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index c6ef16c8..b9ab7175 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -2781,7 +2781,7 @@ editor.on('changes', function (cm, changes) { windowResize(); } checkEditorScrollbar(); - if (editorHasFocus()) { + if (ui.area.codemirrorScroll[0].scrollHeight > ui.area.view[0].scrollHeight && editorHasFocus()) { postUpdateEvent = function () { syncScrollToView(); postUpdateEvent = null; |