On 12/17/2004 11:40 PM, Travis Crump wrote:
If it makes you feel any better, I can't for the life of me figure out where in the gnome-keyboard-properties dialog you are supposed to set this.
From terminal: $ gnome-keybinding-properties Note that that is different from gnome-keyboard-properties.