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