warp_pointer

Description:

public void warp_pointer (Screen screen, int x, int y)

Warps the pointer of this to the point x,y on the screen 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.

Note:

Use gdk_device_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 ColorSelectionDialog.

Parameters:

this	a Display
screen	the screen of this to warp the pointer to
x	the x coordinate of the destination
y	the y coordinate of the destination