With F17 comes gnome3. And I knew I’d have trouble, but also knew that most of the worst crap could be fixed with extensions, and I’d used 3.4 on my laptop enough to know it should be all somewhat usable.
But christ, it’s a “one step forward, one step back” kind of thing. Change the font sizes? No can do – until you install the tweak tool, because the standard settings panel still doesn’t do something as fundamental as that. Ok, I knew it used to be broken, I knew the work-around, but it’s still broken?