Take the 2-minute tour ×
Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems.. It's 100% free, no registration required.

I am running Fedora 17 gnome (shell) 3 and gnome terminal 3.4.1.1.

I am a user of both gnome-terminal and midnight commander. As default gnome-terminal has always used F10 (which I need while using mc), to opening the top menu. So was this time. I was able to disable that behaviour in the settings, as always.

Which is new to me, is that after I disabled the setting, it started opening the "right-click menu" at the mouse cursor when I press F10. The key goes to mc too, but it is annoying to have to always close the menu.

I assume it is caused by gnome terminal, as it does not happen in other apps. Is this a "feature" or bug, has anyone else encountered the same problem and how to fix it?

share|improve this question
add comment

4 Answers

up vote 7 down vote accepted

Here is a simple solution for the problem described:

For gtk-3 apps like gnome-terminal and nautilus just craete (or edit if you have one) the file ~/.config/gtk-3.0/gtk.css with following content:

$ cat ~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "F10"
}

* {
gtk-key-bindings: NoKeyboardNavigation
}

More on the problem see at http://youdev.co/fedora-17-f10-key-frustrating-behaviour-solved/

share|improve this answer
    
Worked fine for me with Ubuntu 12.04 –  Betlista Jan 3 '13 at 21:40
add comment

It's a feature. Go to Edit->Keyboard Shortcuts

And uncheck "Enable the menu shortcut key"

to turn it off.

share|improve this answer
    
" I disabled the setting, it started opening the 'right-click menu' at the mouse cursor when I press F10." It started opening a different menu after I unchecked that setting., which I had already done. –  varesa Jun 8 '12 at 8:10
    
This setting disables the F10 shortcut for the Gnome Terminal menu, but it sounds like you have another shortcut defined somewhere else if you're still getting a right-click menu. I'm not that familiar with Fedora, but you should have a Keyboard Shortcuts or similar applet that may have something relevant. –  Bill B Jun 9 '12 at 0:53
    
Thanks, I did not properly read this Q which is about gnome-terminal, so I tried it in xfce-terminal and discovered that there is option to simply turn off F10 with one checkbox ;-) –  A.D. Feb 22 '13 at 18:18
    
With Fedora 19 <kbd>F10</kbd> opens the file menu and now the setting moved to Edit->Preferences->General, where one can deactivate 'Enable the menu accelerator key (F10 by default)'. –  maxschlepzig Feb 14 at 22:37
add comment

For Fedora 17 you can find the bug report here

https://bugzilla.redhat.com/show_bug.cgi?id=800856

The workaround there is, create ~/.config/gtk-3.0/gtk.css file with following content:

@binding-set NoKeyboardNavigation {
    unbind "<shift>F10"
}

* {
    gtk-key-bindings: NoKeyboardNavigation
}
share|improve this answer
add comment

I fixed this on Ubuntu by making a new ~/.config/gtk-3.0/gtk.css and putting this in it:

@binding-set NoKeyboardNavigation {
    unbind "<shift>F10"
}

* {
    gtk-key-bindings: NoKeyboardNavigation
}
share|improve this answer
    
That wasn't working for me with Ubuntu 12.04, worked fine when I used 'ubind "F10"' as described in first answer. –  Betlista Jan 3 '13 at 21:38
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.