I sometimes click a window, and then immediately start scrolling using the mouse wheel. Obviously, during the animation from "overview" to "normal view" any scroll event cannot sanely be delivered to the application; and I think any such event should simply be dropped.

The current situation is however, that the shell switches workspaces, and therefor one ends up on the wrong workspace, with the wrong window open.

Steps to reproduce:
 1. go into overview mode
 2. Click on a window
 3. immediately start scrolling (before the animation finishes)

Result:
 * gnome-shell switches workspaces

Expected result:
 * scroll events are ignored and do not have any effect

Note that I am still using a pretty old version here (3.8.4); could be fixed already, but AFAICT it is not.