diff options
Diffstat (limited to '')
-rw-r--r-- | public/js/index.js | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/public/js/index.js b/public/js/index.js index 94ccc329..d19cc25a 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -2139,10 +2139,6 @@ editor.on('paste', function() { }); editor.on('changes', function (cm, changes) { updateHistory(); - preventSyncScroll = true; - var scrollInfo = editor.getScrollInfo(); - editor.scrollTo(null, scrollInfo.top - 1); - editor.scrollTo(null, scrollInfo.top); var docLength = editor.getValue().length; //workaround for big documents var newViewportMargin = 20; |