(cm, options)
| 4324 | } |
| 4325 | var searchPromptDesc = '(Javascript regexp)'; |
| 4326 | function showPrompt(cm, options) { |
| 4327 | var shortText = (options.prefix || '') + ' ' + (options.desc || ''); |
| 4328 | var prompt = makePrompt(options.prefix, options.desc); |
| 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']; |
no test coverage detected