diff --git a/src/js/codemirror/search.js b/src/js/codemirror/search.js index 542c340cc..60b08ecc8 100644 --- a/src/js/codemirror/search.js +++ b/src/js/codemirror/search.js @@ -170,7 +170,7 @@ return cm.getSearchCursor( query, pos, - {caseFold: queryCaseInsensitive(query), multiline: true} + { caseFold: queryCaseInsensitive(query), multiline: false } ); } @@ -209,7 +209,8 @@ } state.annotate = cm.showMatchesOnScrollbar( state.query, - queryCaseInsensitive(state.query) + queryCaseInsensitive(state.query), + { multiline: false } ); let count = state.annotate.matches.length; state.widget