12.4 Moving the Pointer
Although movement of the pointer normally should be left to the
control of the end user, sometimes it is necessary to move the
pointer to a new position under program control.
To move the pointer to an arbitrary point in a window, use
XWarpPointer().
Christophe Tronche, [email protected]