On Fri, 2013-07-05 at 08:45 +0100, David Woodhouse wrote: > On Thu, 2013-07-04 at 16:18 -0500, Michael Catanzaro wrote: > > I haven't seen an app menu (gmenu) discussion in quite some time, which > > is a bit surprising as more apps add them. 3.10 will be the fourth > > release featuring app menus, and by now most GNOME applications have > > one. But the only information on the GNOME wiki seems to have been > > written for GNOME 3.4, and there seem to be some issues and > > inconsistencies with the implementation throughout the project. > > I've been using GNOME all that time and I'd never noticed them. > > This is the one in the top panel which, with focus-follows-mouse,
Which is exactly one of the reasons why focus-follows-mouse isn't an option we offer/isn't supported. There's probably plenty more things that don't work well with focus-follows-mouse, so finding creative solutions to those problems might be required. In the meanwhile, you can move the menu back inside the window itself: https://git.gnome.org/browse/gnome-settings-daemon/tree/plugins/xsettings/README.xsettings Cheers _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
