Re: gnome-terminal and F1

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:

Stefano Sabatini
Linux user number 337176 (see

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]