Neil, Alt-F10 is used for maximizing a window. Wouldn't something like Super-F10 line up with the convention established in the launcher?
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/726639 Title: F10 is captured even if gnome-terminal setting is explictly set to not capture -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
