GNOME Classic & Extensions

[Jorge Fábregas]

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