| 3243 | return name == "Ctrl" || name == "Alt" || name == "Shift" || name == "Mod"; |
| 3244 | } |
| 3245 | function keyName(event, noShift) { |
| 3246 | var name = keyNames[event.keyCode]; |
| 3247 | if (name == null || event.altGraphKey) return false; |
| 3248 | if (event.altKey) name = "Alt-" + name; |
| 3249 | if (flipCtrlCmd ? event.metaKey : event.ctrlKey) name = "Ctrl-" + name; |
| 3250 | if (flipCtrlCmd ? event.ctrlKey : event.metaKey) name = "Cmd-" + name; |
| 3251 | if (!noShift && event.shiftKey) name = "Shift-" + name; |
| 3252 | return name; |
| 3253 | } |
| 3254 | CodeMirror.lookupKey = lookupKey; |
| 3255 | CodeMirror.isModifierKey = isModifierKey; |
| 3256 | CodeMirror.keyName = keyName; |