The gnome-tweak-tool allows to tweak some hidden settings in GTK3/GNOME3.

WWW: http://git.gnome.org/browse/gnome-tweak-tool
