(cm, rawQuery, ignoreCase, smartCase)
| 4343 | } |
| 4344 | // Returns true if the query is valid. |
| 4345 | function updateSearchQuery(cm, rawQuery, ignoreCase, smartCase) { |
| 4346 | if (!rawQuery) { |
| 4347 | return; |
| 4348 | } |
| 4349 | var state = getSearchState(cm); |
| 4350 | var query = parseQuery(rawQuery, !!ignoreCase, !!smartCase); |
| 4351 | if (!query) { |
| 4352 | return; |
| 4353 | } |
| 4354 | highlightSearchMatches(cm, query); |
| 4355 | if (regexEqual(query, state.getQuery())) { |
| 4356 | return query; |
| 4357 | } |
| 4358 | state.setQuery(query); |
| 4359 | return query; |
| 4360 | } |
| 4361 | function searchOverlay(query) { |
| 4362 | if (query.source.charAt(0) == '^') { |
| 4363 | var matchSol = true; |
no test coverage detected