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
