Thank you for your bug. That option works fine on my feisty desktop
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Low
Assignee: (unassigned) => Ubuntu Desktop Bugs-- can't disable F10 shortcut https://launchpad.net/bugs/83835 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
