Description
Is your feature request related to a problem? Please describe.
The default keybindings may be reasonable for beginners, but they are unreasonable for seasoned developers expecting the Pro IDE to behave like it was meant for... professionals.
Describe the solution you'd like
Allow me to edit keybindings. VSCode has a menu option (on macOS): Code > Preferences > Keyboard Shortcuts.
Describe alternatives you've considered
Maybe there's some other way to change the IDE's keybindings. If there isn't... there is no viable alternative.
Additional context
Arduino Pro IDE is based on Theia which is based on VSCode. I expect keybinding customization, like VSCode. I would be perfectly happy if this involved editing a file, as long as there was some command or menu option for opening that file.