You can disable the ALT feature in gnome-terminal, also the default assignment of F10 to go to menu can be easily disabled in profile settings.
Acctually that is the first thing I do when I sit down at a new PC.
Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds