I don't think the toggle is "better" it's just a way to add an improvement yet keep the original functionality of the default IDE. Some people just want to never press anything except F5. Therefore a toggle is needed to make F5 do two different things
Ok, I agree, but I'm sure that two commands are actually better solution once you get used to it. And I don't want to clutter the interface with additional toggle if it's not necessary.
I'll add a menu item for "customize" and "keyboard". I know that IDEal lacks a proper help file, I promise there will detailed help file in the final release.
I'm glad that we solved this "issue"... by the way, If you didn't noticed already, you can customize all shortcuts, menus, including the editor's context menu. Context menu is added to the main menu as "POPUP" during customization.
@Neo Genesis: Nice find ! I was trying very complex combinations of arrays/types during developing, but obviously missed that one . And thanks for the example provided.