Come risolvere il problema nello gnome-tweak-tool dello shell theme selector?

Se siete interessati a cambiare il tema della shell in Fedora 16 utilizzando lo gnome-tweak tool (impostazioni avanzate)