(cm, onPromptClose, prefix, desc, initialValue)
| 2019 | } |
| 2020 | var searchPromptDesc = '(Javascript regexp)'; |
| 2021 | function showPrompt(cm, onPromptClose, prefix, desc, initialValue) { |
| 2022 | var shortText = (prefix || '') + ' ' + (desc || ''); |
| 2023 | dialog(cm, makePrompt(prefix, desc), shortText, onPromptClose, |
| 2024 | initialValue); |
| 2025 | } |
| 2026 | function regexEqual(r1, r2) { |
| 2027 | if (r1 instanceof RegExp && r2 instanceof RegExp) { |
| 2028 | var props = ["global", "multiline", "ignoreCase", "source"]; |
no test coverage detected