@anjulalk @laurent coming back to that topic, since I want to add several shortcuts, I do have a few questions:
- can I set a default shortcut to NULL, so that it will show up in the list of shortcuts, but is not active by default?
- is the global part for shortcuts done or in the works?
- what's the status of the CodeMirror <-> Keymap Service "project"