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? -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
