On Mon, Jan 13, 2014 at 4:00 PM, Steve Allen > Requires the gnome-tweak-tool package be installed. Highly recommend this to tweak GSettings in general. Have since GNOME 3.2 in Fedora. Otherwise it takes a bit to discover all of the settings manually. I haven't looked for it in RHEL7, so I wasn't sure it was in there. -- bjs