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