| Did you know ... | Search Documentation: |
| window->pointer |
This method should be used with care. Users tend not to like jumping
mice. It is generally better to place a UI component close to the
pointer location (see event<-position)
than to place the UI component far away and jump the pointer towards it.
Class resize_gesture uses it to position the pointer exactly on the border of a graphical if it was depressed close to it.
Diagnostics: Succeeds without side-effects if the window is not displayed.
->pointer