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
parent
3c6737f7
Please register or sign in to comment