()
| 18 | } |
| 19 | |
| 20 | editorHook(): (editor: CodeMirror.Editor) => void { |
| 21 | const hook = this.codeMirrorManager.clearCompletionInitHook(); |
| 22 | return (editor) => { |
| 23 | if (this.hookedEditors.has(editor)) { |
| 24 | return; |
| 25 | } |
| 26 | this.hookedEditors.add(editor); |
| 27 | this.addKeydownListener(editor, this.multiplayer); |
| 28 | hook(editor); |
| 29 | }; |
| 30 | } |
| 31 | |
| 32 | addKeydownListener(editor: CodeMirror.Editor, multiplayer: boolean) { |
| 33 | const el = editor.getInputField().closest('.CodeMirror'); |
no test coverage detected