Has anyone encountered a problem where the keyboard bindings do not work? Specifically on a Mac.
Benjamin Pierce reported having nonfunctional keybindings; other functionality works fine, including navigating with the toolbar buttons. I was not able to reproduce it anywhere.
I have indeed heard of similar reports
should be not too hard to debug tho, as we could add an option to have codemirror write in the console for the corresponding kbg handler
it could be well the case that @Benjamin Pierce did install some app that hooks on some keybindings for desktop management?
I think also modern chrome versions do allow to hook for keyboard events in a pretty easy way from the debugger
Our keyboard event handler hooks to the document and does not even go through CodeMirror. However this issue https://github.com/jscoq/jscoq/issues/203 teaches us that CodeMirror does steal away some keys in certain scenarios.
Last updated: Jun 10 2023 at 06:31 UTC