F10 is a default shortcut in Gnome. Many applications are affected by this behaviour e.g. mc htop. As David Cordero reported (2 years ago) the solution is to disable the F10 key going to "Edit -> Keyboard Shortcuts... " and deactivating the F10 key.
-- mc and gnome-terminal, F10 key conflict https://bugs.launchpad.net/bugs/194155 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
