(I think I remember that it involved a property file.)
The reason is to turn off any that involve F12, as I like using it for "Save and Reload". Am dealing with a second system now, and can't remember how I did it on my normal system, and can't find useful hints in the property files I have searched. Apologize for dumb post. I figured this out in October, didn't document, and now can't do it.
