Re: gnome-terminal and F1

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

On Feb 3, 2008 9:24 PM, Olav Vitters <olav bkor dhs org> wrote:

[...]

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

Yeah, good point, i removed the terminal menu long time ago.

So if you have "Editable menu shortcut keys" enabled, you only need to
select the menu entry and press the delete key...


-- 
Andrea