Joost Verdoorn 4f87e86603 overview: Don't show workspaces when entering the overview
If the user has their mouse over the workspace thumbnails while
entering the overview, it's more likely that it's a coincidence
that their mouse pointer is in the area. Avoid expanding the
thumbnails box in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=651092
2012-03-16 17:19:48 +01:00
..
2012-02-15 20:12:49 -05:00
2012-02-29 20:16:14 +01:00
2011-11-11 11:15:38 -05:00
2012-03-10 15:00:18 +01:00
2012-02-20 21:54:06 +01:00
2012-02-21 17:43:05 +01:00
2011-11-24 09:50:04 +01:00
2012-02-28 08:14:06 -05:00