gdk-device-warp (device screen x y)

device -- a gdk-device object to warp
screen -- a gdk-screen object to warp device to
x -- an integer with the x coordinate of the destination
y -- an integer with the y coordinate of the destination

Warps the device to the point x,y on the screen. Unless the device is confined to a window by a grab, in which case it will be moved as far as allowed by the grab. 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.