Just as the focus can be made to follow the mouse, so should the mouse also follow the focus. Like when cycling between windows, the mouse should jump to the window receiving focus.

And so when switching workspaces the last window should receive focus, unlike now, when the one under the cursor does. This can be very annoying.