Re: gnome-terminal and F1

From: Stefano Sabatini <stefano.sabatini-lala@xxxxxxxx>
Date: Sun, 3 Feb 2008 12:45:30 +0100

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

Regards
--
Stefano Sabatini
Linux user number 337176 (see http://counter.li.org)
_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list

Follow-Ups:
- Re: gnome-terminal and F1
  - From: Andrea Vettorello

References:
- gnome-terminal and F1
  - From: Stefano Sabatini
- Re: gnome-terminal and F1
  - From: Olav Vitters

Prev by Date: Re: Debugging hotplug
Next by Date: spellchecker and other languages
Previous by thread: Re: gnome-terminal and F1
Next by thread: Re: gnome-terminal and F1
Index(es):
- Date
- Thread

Relevant Pages

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
... 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)