Для возвращения нормальной работы в терминале кнопки F10 нужно выполнить команды в терминале:
P.S. если ничего не получилось, то на крайний случай можно пользоваться комбинацией клавиш ESC+0, кстати эти комбинации работают и для других F кнопок.
Ubuntu$ gconftool --set --type bool "/apps/gnome-terminal/global/use_menu_accelerators" "false" Ubuntu$ gconftool --set --type string "/apps/compiz-1/plugins/unityshell/screen0/options/panel_first_menu" DisabledА для Ubuntu 12.04 понадобится создать файл gtk.css в папке .config/.gtk-3.0 в домашнем каталоге:
Ubuntu~$ mkdir -p .config/gtk-3.0 Ubuntu~$ cat >>.config/gtk-3.0/gtk.css<<_EOF @binding-set NoKeyboardNavigation { unbind "Затем нужно завершить сеанс и войти заново - теперь клавиша F10 работает так, как и хотелось.F10" } * { gtk-key-bindings: NoKeyboardNavigation } _EOF
P.S. если ничего не получилось, то на крайний случай можно пользоваться комбинацией клавиш ESC+0, кстати эти комбинации работают и для других F кнопок.