Re: gnome-terminal and F1
Olav Vitters <olav <at> bkor.dhs.org>
2008-02-03 20:24:48 GMT
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 <at> poste.it> 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.