From f32dee3796777b71333b4020535e789352900b82 Mon Sep 17 00:00:00 2001
From: Cheng-Han, Wu
Date: Wed, 1 Jun 2016 14:37:51 +0800
Subject: Remove checkEditorScrollbar workaround since CodeMirror 5.15.3
 already fixed this issue, refer to CodeMirror #3896

---
 public/js/index.js | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/public/js/index.js b/public/js/index.js
index 4ac1b508..cb3bbcc4 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -795,7 +795,7 @@ function checkEditorStyle() {
     if (scrollbarStyle == 'overlay' || currentMode == modeType.both) {
         ui.area.codemirrorScroll.css('height', desireHeight + 'px');
         ui.area.codemirrorScroll.css('min-height', '');
-        checkEditorScrollbar();
+        editor.refresh();
     } else if (scrollbarStyle == 'native') {
         ui.area.codemirrorScroll.css('height', '');
         ui.area.codemirrorScroll.css('min-height', desireHeight + 'px');
@@ -835,7 +835,7 @@ function checkEditorStyle() {
                         ui.area.view.scroll();
                     });
                 }
-                checkEditorScrollbar();
+                editor.refresh();
             }
         });
         ui.area.resize.handle = $('.ui-resizable-handle');
@@ -876,14 +876,6 @@ function checkSyncToggle() {
     }
 }
 
-function checkEditorScrollbar() {
-    // workaround simple scroll bar knob
-    // will get wrong position when editor height changed
-    var scrollInfo = editor.getScrollInfo();
-    editor.scrollTo(null, scrollInfo.top - 1);
-    editor.scrollTo(null, scrollInfo.top);
-}
-
 function checkTocStyle() {
     //toc right
     var paddingRight = parseFloat(ui.area.markdown.css('padding-right'));
@@ -2510,7 +2502,7 @@ editor.on('changes', function (cm, changes) {
         viewportMargin = newViewportMargin;
         windowResize();
     }
-    checkEditorScrollbar();
+    editor.refresh();
 });
 editor.on('focus', function (cm) {
     for (var i = 0; i < onlineUsers.length; i++) {
-- 
cgit v1.2.3