Florian Müllner 3fdc8bfa3d main: Override focus-change-on-pointer-rest preference
The application menu is currently unusable with non-maximized
windows when using focus-follows-mouse mode. Override mutter's
focus-change-on-pointer-rest preference, so that the actual
focus change is delayed until the pointer stops moving.

https://bugzilla.gnome.org/show_bug.cgi?id=678169
2012-10-11 16:30:33 +02:00
..
2012-04-09 19:57:51 +02:00
2012-02-28 08:14:06 -05:00
2012-07-14 11:48:54 +02:00
2012-04-09 19:57:51 +02:00
2012-02-28 08:14:06 -05:00
2012-09-10 21:23:25 +02:00
2012-02-28 08:14:06 -05:00
2012-04-09 19:57:51 +02:00