4f87e86603
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