FC4 Gnome F10 key binding

[AragonX]

<quote who="Jim Cornette">
> To disable the key in the GNOME terminal (F10 shortcut)
> go to the menu, select keyboard shortcuts, then check disable menu
> shortcut key (F10 by default)
> using mc a lot also is why I disable the menu shortcut myself.

Oh my.  I thought for sure that I had tried that but it appears my brain
took a vacation.  :)

Thank you for your help.