| 4329 | dialog(cm, prompt, shortText, options.onClose, options); |
| 4330 | } |
| 4331 | function regexEqual(r1, r2) { |
| 4332 | if (r1 instanceof RegExp && r2 instanceof RegExp) { |
| 4333 | var props = ['global', 'multiline', 'ignoreCase', 'source']; |
| 4334 | for (var i = 0; i < props.length; i++) { |
| 4335 | var prop = props[i]; |
| 4336 | if (r1[prop] !== r2[prop]) { |
| 4337 | return false; |
| 4338 | } |
| 4339 | } |
| 4340 | return true; |
| 4341 | } |
| 4342 | return false; |
| 4343 | } |
| 4344 | // Returns true if the query is valid. |
| 4345 | function updateSearchQuery(cm, rawQuery, ignoreCase, smartCase) { |
| 4346 | if (!rawQuery) { |