I just re-installed my primary desktop system with Fedora 19, replacing Fedora 18.
Normally, one of the things I do in my install guide for personalizing Fedora is to enable this using Gnome Tweak Tool.
However, the Gnome Tweak Tool installed (gnome-tweak-tool-3.8.1-1.fc19.noarch) doesn't have a "Window" tab that offers this and many other options.
Would a few others mind checking their F19 system to see if perhaps it should be there but has been moved and let me know?
I think it also had options for the action taken when the title bar is double clicked. I've used dconf-editor to find the mouse focus issue, but now I'm wondering what else I've missed.
Thanks