Ik heb sedert een tijdje Ubuntu 9.04 draaien met alle updates enzo. Werk prima. Alleen klopt sedert kort het theme dat ik heb ingesteld niet meer. Vervelende is dat ik dat sedert jaar en dag doe met gnome-appearance-properties. Dat is dezelfde applicatie die via het Control Center wordt gestart, of via: System > Preferences > Appearance.
Als je dan een theme of een icon theme aanklikt verandert je theme en iconen onmiddellijk. Althans zo hoort het. Ik krijg het nu niet meer voor elkaar om de letter groottes en de iconen te veranderen. Wat gek genoeg wel werkt is het antieke gtk-theme-switch2. Maar daar kan ik alleen de lettertypes (en grootte) mee veranderen.
Heeft iemand het zelfde probleem? Of beter: een oplossing?