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 -- Andrea _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
