Hello Crabman, I take the liberty of bothering you to point out that now the shortcuts for compiling or launching programs are fully configurable.
Please, download version 1.14 and then click on "Configuration" and then "Shortcuts". By clicking on the single button it is therefore possible to press the sequence of keys to be used, to cancel those already present, to restore them to default and so on.
Thank you again for the suggestion, and happy retrocoding!