GNOME Shellでテーマを変更するには、エクステンションのUser Themesをインストールする必要がある。ただし、Ubuntu12.04やLinuxMint13においては、User Temesのインストールだけではテーマを変更できないどころかgnome-tweak-toolすら起動しなくなってしま…