(cm, query)
| 13210 | }; |
| 13211 | } |
| 13212 | function highlightSearchMatches(cm, query) { |
| 13213 | var searchState = getSearchState(cm); |
| 13214 | var overlay = searchState.getOverlay(); |
| 13215 | if (!overlay || query != overlay.query) { |
| 13216 | if (overlay) { |
| 13217 | cm.removeOverlay(overlay); |
| 13218 | } |
| 13219 | overlay = searchOverlay(query); |
| 13220 | cm.addOverlay(overlay); |
| 13221 | if (cm.showMatchesOnScrollbar) { |
| 13222 | if (searchState.getScrollbarAnnotate()) { |
| 13223 | searchState.getScrollbarAnnotate().clear(); |
| 13224 | } |
| 13225 | searchState.setScrollbarAnnotate(cm.showMatchesOnScrollbar(query)); |
| 13226 | } |
| 13227 | searchState.setOverlay(overlay); |
| 13228 | } |
| 13229 | } |
| 13230 | function findNext(cm, prev, query, repeat) { |
| 13231 | if (repeat === undefined) { repeat = 1; } |
| 13232 | return cm.operation(function() { |
no test coverage detected