I confirm that bug... There's a way to disable F10 with another way, follow the tutorial there (second option): http://ubuntu-tutorials.com/2007/07/16/disabling-the-f10-key-menu-accelerators-in-gnome-terminal/
-- Hardy Terminal 2.21.92 Unable to disable F10 Hotkey https://bugs.launchpad.net/bugs/198628 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
