Custom shortcuts do not work when HedgeDoc editor is focussed

[markfijneman]

ctrl + k does not work while the HedgeDoc editor is focused. It does work when other parts of HedgeDoc are in focus.

In the HedgeDoc iframe the editor (CodeMirror) can be accessed using the editor variable. Maybe there is an API to add and/or modify custom keybindings there?

[markfijneman]

Running this in the iframe seems to fix it:

editor.setOption('extraKeys', {
    'Ctrl-K': () => {
        parent.postMessage('showSearchDialog', '*');
        return false;
    }
});

Will open a PR later.