diff options
Diffstat (limited to '')
-rw-r--r-- | public/js/index.js | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/public/js/index.js b/public/js/index.js index 832e0d15..8671af46 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -721,15 +721,17 @@ function windowResizeInner(callback) { //refresh editor if (loaded) { if (editor.getOption('scrollbarStyle') === 'native') { - clearMap(); - if (editorHasFocus()) { - syncScrollToView(); - } else { - syncScrollToEdit(); - } - updateScrollspy(); - if (callback && typeof callback === 'function') - callback(); + setTimeout(function () { + clearMap(); + if (editorHasFocus()) { + syncScrollToView(); + } else { + syncScrollToEdit(); + } + updateScrollspy(); + if (callback && typeof callback === 'function') + callback(); + }, 1); } else { // force it load all docs at once to prevent scroll knob blink editor.setOption('viewportMargin', Infinity); @@ -1030,6 +1032,11 @@ function changeMode(type) { preventSyncScrollToEdit = 2; syncScrollToView(); } + + if (lastMode == modeType.both && currentMode != modeType.both) { + preventSyncScrollToView = false; + preventSyncScrollToEdit = false; + } if (lastMode != modeType.edit && currentMode == modeType.edit) { editor.refresh(); |