The settings window has options to disable the F10 key and Alt+f like menu keys. Please add an option to also disable F1, because it is used in many applications (mc for example). (Having to edit configuration files by hand to set keyboard bindings is just way too gnomeish :P)