(cm, rawQuery, ignoreCase, smartCase)
| 4099 | return false; |
| 4100 | } |
| 4101 | function updateSearchQuery(cm, rawQuery, ignoreCase, smartCase) { |
| 4102 | if (!rawQuery) { |
| 4103 | return; |
| 4104 | } |
| 4105 | var state = getSearchState(cm); |
| 4106 | var query = parseQuery(rawQuery, !!ignoreCase, !!smartCase); |
| 4107 | if (!query) { |
| 4108 | return; |
| 4109 | } |
| 4110 | highlightSearchMatches(cm, query); |
| 4111 | if (regexEqual(query, state.getQuery())) { |
| 4112 | return query; |
| 4113 | } |
| 4114 | state.setQuery(query); |
| 4115 | return query; |
| 4116 | } |
| 4117 | function searchOverlay(query) { |
| 4118 | if (query.source.charAt(0) == '^') { |
| 4119 | var matchSol = true; |
no test coverage detected