Re: gnome-terminal and F1

["Andrea Vettorello" <andrea vettorello gmail com>]

On Feb 3, 2008 12:45 PM, Stefano Sabatini
<stefano sabatini-lala 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


-- 
Andrea