(event, noShift)
| 3713 | return name == "Ctrl" || name == "Alt" || name == "Shift" || name == "Mod"; |
| 3714 | } |
| 3715 | function keyName(event, noShift) { |
| 3716 | if (opera && event.keyCode == 34 && event["char"]) return false; |
| 3717 | var name = keyNames[event.keyCode]; |
| 3718 | if (name == null || event.altGraphKey) return false; |
| 3719 | if (event.altKey) name = "Alt-" + name; |
| 3720 | if (flipCtrlCmd ? event.metaKey : event.ctrlKey) name = "Ctrl-" + name; |
| 3721 | if (flipCtrlCmd ? event.ctrlKey : event.metaKey) name = "Cmd-" + name; |
| 3722 | if (!noShift && event.shiftKey) name = "Shift-" + name; |
| 3723 | return name; |
| 3724 | } |
| 3725 | CodeMirror.lookupKey = lookupKey; |
| 3726 | CodeMirror.isModifierKey = isModifierKey; |
| 3727 | CodeMirror.keyName = keyName; |
no outgoing calls
no test coverage detected