So I stick with the standard integrated dock (more stable than Docky, looks great even with Wine apps). But since the repo's gnome-shell is a bit outdated, I can't put it in the bottom of the screen. Same for several extensions that often don't work at all. But I digress. No other mouse issue otherwise.
I had the same problem with a gnome-shell extension (simple dock, I think).
Toggling from "applications" to the empty desktop works only if I move the
mouse away first.
