On Thu, Jan 05, 2012 at 10:29:42AM -0800, Joe Zeff wrote: > On 01/05/2012 12:34 AM, Olav Vitters wrote: > >Quicker than rebooting the entire machine just to see the > >changes you made to gnome-shell. > > Wouldn't logging out and back in be sufficient? Of course. Just responding to his email where he said reboot. -- Regards, Olav