Jeremy/Eric: patches welcomed if you can debug and figure out what isn't being switched by default, but /is/ being switched when gnome-tweak-tools is used.
Jeremy/Eric: patches welcomed if you can debug and figure out what isn't being switched by default, but /is/ being switched when gnome-tweak-tools is used.