The source project of this merge request has been removed.
window: Allow opening Main Menu with F10
By setting the Main Menu button as primary, the F10 key is automatically assigned to this button.
By setting the Main Menu button as primary, the F10 key is automatically assigned to this button.