From cca567453d68752d343904c0a51def1d6426b3ba Mon Sep 17 00:00:00 2001
From: "Cheng-Han, Wu" <jackymaxj@gmail.com>
Date: Fri, 17 Jun 2016 15:58:23 +0800
Subject: [PATCH] Fix on paste long document to editor might cause scroll not
 syncing

---
 public/js/index.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/public/js/index.js b/public/js/index.js
index e873e732..bbd49685 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -2518,6 +2518,12 @@ editor.on('changes', function (cm, changes) {
         windowResize();
     }
     checkEditorScrollbar();
+    if (editorHasFocus()) {
+        postUpdateEvent = function () {
+            syncScrollToView();
+            postUpdateEvent = null;
+        };
+    }
 });
 editor.on('focus', function (cm) {
     for (var i = 0; i < onlineUsers.length; i++) {
@@ -2636,6 +2642,7 @@ function refreshView() {
 var updateView = _.debounce(updateViewInner, updateViewDebounce);
 
 var lastResult = null;
+var postUpdateEvent = null;
 
 function updateViewInner() {
     if (currentMode == modeType.edit || !isDirty) return;
@@ -2668,6 +2675,8 @@ function updateViewInner() {
     clearMap();
     //buildMap();
     updateTitleReminder();
+    if (postUpdateEvent && typeof postUpdateEvent === 'function')
+        postUpdateEvent();
 }
 
 var updateHistoryDebounce = 600;