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.
switch (edge_warp_dir) {
case OB_DIRECTION_NORTH:
- y = a->height - 1;
+ y = a->height - 2;
break;
case OB_DIRECTION_EAST:
- x = a->x;
+ x = a->x + 1;
break;
case OB_DIRECTION_SOUTH:
- y = a->y;
+ y = a->y + 1;
break;
case OB_DIRECTION_WEST:
- x = a->width - 1;
+ x = a->width - 2;
break;
default:
g_assert_not_reached();