The gnome-tweak-tools allows tweaking hidden gtk+3/GNOME3 settings. There's an issue with g-o-i / py-gobject, so not hooked up yet. ok jasper@