So, I got a banner sating that workspace switcher died. I clicked on Restart in the banner. It did not restart. I rebooted the machine and logged back in. Still the switcher did not come back on. How can I restart it manually? I find no "switcher" anything in /sbin and /bin. -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org