<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.
