Gdk.Display.warp_pointer Reference Manual
Gdk.Display.warp_pointer:
Description:
public
void
warp_pointer (
Gdk.Screen
screen,
int
x,
int
y)
created by
valadoc