So I just spent a frustrating little while looking for the focus-follows-mouse setting on a fairly-vanilla F12 installation. As far as I can tell it ain't there. What became of gnome-window-properties? regards, tom lane