Fix shortcuts in main menu

Authored by eugster on May 25 2020, 8:49 PM.