Prevent screen edge warping from switching rapidly

In the case that screenEdgeWarpMouse is true and screenEdgeWarpTime is a low
number, the workspace could switch back and forth rapidly while warping until
the mouse leaves the edge.  This patch just moves the cursor an extra pixel,
off of the screen edge, when warping the mouse.