[ Version ( deprecated = true , deprecated_since = "3.0" , since = "2.8" ) ]
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 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.
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 GtkColorSelectionDialog.
| 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 |