Wow, thank you very much, rSi!
Now I can do some serious testing without a reboot each time I want to test another menu item.
I will report back this weekend or on Monday.
PS: In gui.cpp I have seen keystate[SDLK_F12] for toggle fullscreen. So at least the key F12 is used there.