But this Alt+F issue is larger than just gnome-terminal. As you can see, it also breaks LibreOffice, which is a core desktop app for basically ALL users. So that bug need to be fixed, and so becomes no longer a reason to remove the mnemonics from gnome-terminal.
Sure is a complicated story.
But this Alt+F issue is larger than just gnome-terminal. As you can see, it also breaks LibreOffice, which is a core desktop app for basically ALL users. So that bug need to be fixed, and so becomes no longer a reason to remove the mnemonics from gnome-terminal.