Dear Micro teams,
Thanks for this very nice editor! I have been using it for several weeks, and it's really a nice tool. I would like to know if there is a possibility to replace the Ctrl key with another key in the bindings/settings file (for instance with the Cmd under MacOS).
Thank you for your answer!