The gnome-tweak-tools allows tweaking hidden GTK/GNOME settings.
