diff options
author | Wu Cheng-Han | 2016-07-30 12:25:24 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-07-30 12:25:24 +0800 |
commit | 1490eafdd26a576dcc3832d1811802c0162dfe84 (patch) | |
tree | abf105de4a0ec1659672643b7583330a421e79bb /public/vendor/codemirror/addon/hint/show-hint.js | |
parent | b6ca8649af10d969d86f0e8ff31723321d43087a (diff) |
Update CodeMirror to version 5.17.1
Diffstat (limited to 'public/vendor/codemirror/addon/hint/show-hint.js')
-rw-r--r-- | public/vendor/codemirror/addon/hint/show-hint.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/public/vendor/codemirror/addon/hint/show-hint.js b/public/vendor/codemirror/addon/hint/show-hint.js index 64ec9289..604bd3b7 100644 --- a/public/vendor/codemirror/addon/hint/show-hint.js +++ b/public/vendor/codemirror/addon/hint/show-hint.js @@ -230,6 +230,8 @@ (completion.options.container || document.body).appendChild(hints); var box = hints.getBoundingClientRect(), overlapY = box.bottom - winH; var scrolls = hints.scrollHeight > hints.clientHeight + 1 + var startScroll = cm.getScrollInfo(); + if (overlapY > 0) { var height = box.bottom - box.top, curTop = pos.top - (pos.bottom - box.top); if (curTop - height > 0) { // Fits above cursor @@ -273,7 +275,6 @@ cm.on("focus", this.onFocus = function() { clearTimeout(closingOnBlur); }); } - var startScroll = cm.getScrollInfo(); cm.on("scroll", this.onScroll = function() { var curScroll = cm.getScrollInfo(), editor = cm.getWrapperElement().getBoundingClientRect(); var newTop = top + startScroll.top - curScroll.top; |