diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/index.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/public/js/index.js b/public/js/index.js index b40836f3..6cbaf066 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -786,10 +786,18 @@ function checkEditorStyle() { if (scrollbarStyle == 'overlay' || currentMode == modeType.both) { ui.area.codemirrorScroll.css('height', desireHeight + 'px'); ui.area.codemirrorScroll.css('min-height', ''); + // workaround simple scroll bar knob + // will get wrong position when editor height changed + var scrollInfo = editor.getScrollInfo(); + preventSyncScroll = true; + editor.scrollTo(null, scrollInfo.top - 1); + editor.scrollTo(null, scrollInfo.top); } else if (scrollbarStyle == 'native') { ui.area.codemirrorScroll.css('height', ''); ui.area.codemirrorScroll.css('min-height', desireHeight + 'px'); } + // workaround editor will have wrong doc height when editor height changed + editor.setSize(null, ui.area.edit.height()); //make editor resizable ui.area.edit.resizable({ handles: 'e', |