Re: gnome-terminal and F1
- From: "Andrea Vettorello" <andrea.vettorello@xxxxxxxxx>
- Date: Sun, 3 Feb 2008 21:37:57 +0100
On Feb 3, 2008 9:24 PM, Olav Vitters <olav@xxxxxxxxxxxx> 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
_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list
- References:
- gnome-terminal and F1
- From: Stefano Sabatini
- Re: gnome-terminal and F1
- From: Olav Vitters
- Re: gnome-terminal and F1
- From: Stefano Sabatini
- Re: gnome-terminal and F1
- From: Andrea Vettorello
- Re: gnome-terminal and F1
- From: Olav Vitters
- gnome-terminal and F1
- Prev by Date: Re: gnome-terminal and F1
- Next by Date: Re: Debugging hotplug
- Previous by thread: Re: gnome-terminal and F1
- Next by thread: Re: Debugging hotplug
- Index(es):
Relevant Pages
|
|