gnome-tweak-tool: gnome-tweak-tool (gnome shell configuration tool)
gnome-tweak-tool:
gnome-tweak-tool: gnome-tweak-tool is a nifty configuration tool which allows you to 
gnome-tweak-tool: easily change themes, fonts, and other aspects of the GNOME shell.
gnome-tweak-tool:
gnome-tweak-tool:
gnome-tweak-tool:
gnome-tweak-tool:
gnome-tweak-tool:
gnome-tweak-tool:
gnome-tweak-tool: