| 13144 | dialog(cm, prompt, shortText, options.onClose, options); |
| 13145 | } |
| 13146 | function regexEqual(r1, r2) { |
| 13147 | if (r1 instanceof RegExp && r2 instanceof RegExp) { |
| 13148 | var props = ['global', 'multiline', 'ignoreCase', 'source']; |
| 13149 | for (var i = 0; i < props.length; i++) { |
| 13150 | var prop = props[i]; |
| 13151 | if (r1[prop] !== r2[prop]) { |
| 13152 | return false; |
| 13153 | } |
| 13154 | } |
| 13155 | return true; |
| 13156 | } |
| 13157 | return false; |
| 13158 | } |
| 13159 | // Returns true if the query is valid. |
| 13160 | function updateSearchQuery(cm, rawQuery, ignoreCase, smartCase) { |
| 13161 | if (!rawQuery) { |