On Feb 3, 2008 9:24 PM, Olav Vitters <[EMAIL PROTECTED]> 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 [email protected] http://mail.gnome.org/mailman/listinfo/gnome-list
