Re: gnome shortcuts