On Sun, Feb 03, 2008 at 09:18:13PM +0100, Andrea Vettorello wrote: > On Feb 3, 2008 12:45 PM, Stefano Sabatini > <stefano.sabatini-lala@xxxxxxxx> 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 I misread the initial response. I meant to look in the gnome-terminal menu. No need to revert to gconf-editor. -- Regards, Olav _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
