(cm, text)
| 4307 | return regexp; |
| 4308 | } |
| 4309 | function showConfirm(cm, text) { |
| 4310 | if (cm.openNotification) { |
| 4311 | cm.openNotification('<span style="color: red">' + text + '</span>', |
| 4312 | {bottom: true, duration: 5000}); |
| 4313 | } else { |
| 4314 | alert(text); |
| 4315 | } |
| 4316 | } |
| 4317 | function makePrompt(prefix, desc) { |
| 4318 | var raw = '<span style="font-family: monospace; white-space: pre">' + |
| 4319 | (prefix || "") + '<input type="text" autocorrect="off" ' + |
no outgoing calls
no test coverage detected