The gnome-tweak-tool allows to tweak some hidden settings in GTK3/GNOME3. WWW: http://git.gnome.org/browse/gnome-tweak-tool