TabWidget: allow the fullscreen shortcut to be used so that if the user
can't reach the main menu