public void warp_pointer (Screen screen, int x, int y)
Warning: warp_pointer is deprecated since 3.0.
Warps the pointer of this to the point
y on the screen
unless the pointer is confined to a window by a grab, in which case it will be moved as far as allowed by the grab.
Use warp instead.
Warping the pointer creates events as if the user had moved the mouse instantaneously to the destination.
Note that the pointer should normally be under the control of the user. This function was added to cover some rare use cases like keyboard
navigation support for the color picker in the
the screen of this to warp the pointer to
the x coordinate of the destination
the y coordinate of the destination