(ch)
| 84 | } |
| 85 | var SPECIAL_SYMBOLS = "~`!@#$%^&*()_-+=[{}]\\|/?.,<>:;\"\'1234567890"; |
| 86 | function toCombo(ch) { |
| 87 | // t -> T, T -> Shift-T, * -> '*', " " -> "Space" |
| 88 | if (ch == " ") return "Space"; |
| 89 | var specialIdx = SPECIAL_SYMBOLS.indexOf(ch); |
| 90 | if (specialIdx != -1) return "'" + ch + "'"; |
| 91 | if (ch.toLowerCase() == ch) return ch.toUpperCase(); |
| 92 | return "Shift-" + ch.toUpperCase(); |
| 93 | } |
| 94 | |
| 95 | var word = [/\w/, /[^\w\s]/], bigWord = [/\S/]; |
| 96 | function findWord(line, pos, dir, regexps) { |