Re: gnome-terminal and F1

On Sun, Feb 03, 2008 at 09:18:13PM +0100, Andrea Vettorello wrote:
On Feb 3, 2008 12:45 PM, Stefano Sabatini
<stefano.sabatini-lala@xxxxxxxx> wrote:
On date Saturday 2008-02-02 20:48:23 +0100, Olav Vitters gnomed:
On Sat, Feb 02, 2008 at 02:47:37PM +0100, Stefano Sabatini wrote:
gnome-terminal 2.18.3 currently captures the F1 event which will run up
yelp with the documentation for gnome terminal.

Just edit the keybindings and remove it. See the menu.

Hi Olav,

well I tried to disable the F1 thing with:

System->Preferences->Keyboard Shortcuts
then I disabled the shortcut "Launch Help Browser"

then again I got the Yelp application launched when pressing the F1
key in the gnome-terminal (bug?).

Anyway I found this relevant:
https://bugs.launchpad.net/gnome-terminal/+bug/31344


I think you need to modify the gconf key /apps/gnome-terminal/keybindings/help

I misread the initial response. I meant to look in the gnome-terminal
menu. No need to revert to gconf-editor.


--
Regards,
Olav
_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list

Relevant Pages

  • Re: gnome-terminal and F1
    ... yelp with the documentation for gnome terminal. ... Just edit the keybindings and remove it. ...
    (GNOME)
  • Re: gnome-terminal and F1
    ... Just edit the keybindings and remove it. ... then I disabled the shortcut "Launch Help Browser" ... then again I got the Yelp application launched when pressing the F1 ...
    (GNOME)
  • Re: gnome-terminal and F1
    ... Just edit the keybindings and remove it. ... then I disabled the shortcut "Launch Help Browser" ... then again I got the Yelp application launched when pressing the F1 ...
    (GNOME)