(cm)
| 103 | state.posFrom = cursor.from(); state.posTo = cursor.to(); |
| 104 | });} |
| 105 | function clearSearch(cm) {cm.operation(function() { |
| 106 | var state = getSearchState(cm); |
| 107 | if (!state.query) return; |
| 108 | state.query = null; |
| 109 | cm.removeOverlay(state.overlay); |
| 110 | if (state.annotate) { state.annotate.clear(); state.annotate = null; } |
| 111 | });} |
| 112 | |
| 113 | var replaceQueryDialog = |
| 114 | 'Replace: <input type="text" style="width: 10em" class="CodeMirror-search-field"/> <span style="color: #888" class="CodeMirror-search-hint">(Use /re/ syntax for regexp search)</span>'; |
no test coverage detected