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 -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
