One thing: Gnome 3.6 is moving farther towards making use of the application menu. Good in general - it was stupid in 3.0 - but it plays very poorly with focus-

One thing: Gnome 3.6 is moving farther towards making use of the application menu. Good in general - it was stupid in 3.0 - but it plays very poorly with focus-follows-mouse.