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/search/match-highlighter.js | |
parent | b6ca8649af10d969d86f0e8ff31723321d43087a (diff) |
Update CodeMirror to version 5.17.1
Diffstat (limited to '')
-rw-r--r-- | public/vendor/codemirror/addon/search/match-highlighter.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/vendor/codemirror/addon/search/match-highlighter.js b/public/vendor/codemirror/addon/search/match-highlighter.js index 2c2914a9..2121de41 100644 --- a/public/vendor/codemirror/addon/search/match-highlighter.js +++ b/public/vendor/codemirror/addon/search/match-highlighter.js @@ -72,7 +72,7 @@ cm.addOverlay(state.overlay = makeOverlay(query, hasBoundary, style)); if (state.options.annotateScrollbar && cm.showMatchesOnScrollbar) { var searchFor = hasBoundary ? new RegExp("\\b" + query + "\\b") : query; - state.matchesonscroll = cm.showMatchesOnScrollbar(searchFor, true, + state.matchesonscroll = cm.showMatchesOnScrollbar(searchFor, false, {className: "CodeMirror-selection-highlight-scrollbar"}); } } |