(cm, msg, f)
| 9157 | } |
| 9158 | |
| 9159 | function getInput(cm, msg, f) { |
| 9160 | if (cm.openDialog) |
| 9161 | cm.openDialog(msg + ": <input type=\"text\" style=\"width: 10em\"/>", f, {bottom: true}); |
| 9162 | else |
| 9163 | f(prompt(msg, "")); |
| 9164 | } |
| 9165 | |
| 9166 | function operateOnWord(cm, op) { |
| 9167 | var start = cm.getCursor(), end = cm.findPosH(start, 1, "word"); |