Re: gnome-terminal and F1

[Stefano Sabatini <stefano sabatini-lala poste it>]

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)