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?