(cm, msg, f)
| 234 | } |
| 235 | |
| 236 | function getInput(cm, msg, f) { |
| 237 | if (cm.openDialog) |
| 238 | cm.openDialog(msg + ": <input type=\"text\" style=\"width: 10em\"/>", f, {bottom: true}); |
| 239 | else |
| 240 | f(prompt(msg, "")); |
| 241 | } |
| 242 | |
| 243 | function operateOnWord(cm, op) { |
| 244 | var start = cm.getCursor(), end = cm.findPosH(start, 1, "word"); |