(cm)
| 93 | |
| 94 | const extraKeys = keymap.of([ |
| 95 | {key: "ArrowDown", run(cm) { |
| 96 | let {main} = cm.state.selection |
| 97 | if (!main.empty || main.head < cm.state.doc.length) return false |
| 98 | document.activeElement.blur() |
| 99 | return true |
| 100 | }}, |
| 101 | {key: "ArrowUp", run(cm) { |
| 102 | let {main} = cm.state.selection |
| 103 | if (!main.empty || main.head > 0) return false |
no test coverage detected