F10 в Gnome terminal 3

[Подковыркин Дмитрий]

Здравствуйте.

После обновления до 11.10 в Gnome терминале перестала работать F10.
Ну то есть если в 11.04 после того как в Меню-Правка-Комбинации клавиш 
отмечал "Включить клавишу для доступа в меню (по умолчанию F10)" в 
программах, работающих в терминале (mc, vim) клавиша F10 работала как 
надо, то есть Gnome терминал не перехватывал F10.
Теперь это не работает, хотя в настройках этот пункт есть.
Как победить эту проблему? Очень уж раздражает.

-- 
Дмитрий