Binary package “gnome-tweak-tool” in ubuntu precise
tool to adjust advanced configuration settings for GNOME
GNOME Tweak Tool (pronounced [kræptuːl]) allows the adjustment of a
number of GNOME configuration settings that is felt would not be of
interest to ordinary users. This includes things like the fonts used in
user interface elements, alternative user interface themes, changes in
window management behaviour and others.