(r1, r2)
| 2024 | initialValue); |
| 2025 | } |
| 2026 | function regexEqual(r1, r2) { |
| 2027 | if (r1 instanceof RegExp && r2 instanceof RegExp) { |
| 2028 | var props = ["global", "multiline", "ignoreCase", "source"]; |
| 2029 | for (var i = 0; i < props.length; i++) { |
| 2030 | var prop = props[i]; |
| 2031 | if (r1[prop] !== r2[prop]) { |
| 2032 | return(false); |
| 2033 | } |
| 2034 | } |
| 2035 | return(true); |
| 2036 | } |
| 2037 | return(false); |
| 2038 | } |
| 2039 | function updateSearchQuery(cm, rawQuery, ignoreCase, smartCase) { |
| 2040 | cm.operation(function() { |
| 2041 | var state = getSearchState(cm); |