(cm)
| 1872 | } |
| 1873 | |
| 1874 | function allKeyMaps(cm) { |
| 1875 | var maps = cm.state.keyMaps.slice(0); |
| 1876 | maps.push(cm.options.keyMap); |
| 1877 | if (cm.options.extraKeys) maps.unshift(cm.options.extraKeys); |
| 1878 | return maps; |
| 1879 | } |
| 1880 | |
| 1881 | var maybeTransition; |
| 1882 | function handleKeyBinding(cm, e) { |
no test coverage detected