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 Regards -- Stefano Sabatini Linux user number 337176 (see http://counter.li.org) _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
