On 09/14/2013 10:39 PM, Tim wrote: > Which was the "workspace switcher." Does having the name help you find > a modern replacement? Thanks for the reminder Tim. It helps but I stll can't find it. It seems the "Frippery Bottom Panel" extension would do it but it doesn't work with GNOME 3.8. Hey Tim, since you've been here on the list for years, I'm wondering: What DE are you running? Did you move to GNOME Shell? I'll leave the font selection & rendering discussion in Fedora 19 for other day :) Regards, Jorge -- 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
