Add generic hotkeys for pushing windows to different spaces.
Reposition the grab point used for space pushing to fix a bug where Chrome windows wouldn't get moved correctly.
Restore cursor position after moving a window to a different space.
Remove an unused method.
Fix an incorrect accessibility key.
Fix management of windows across spaces to correctly accumulate all windows.
Use the core graphics APIs for determining presence on screen.
We use that for space-dependent window activation.