Event.requestMotions

Request more motion notifies if event is a motion notify hint event.

This function should be used instead of gdk.window.Window.getPointer to request further motion notifies, because it also works for extension events where motion notifies are provided for devices other than the core pointer. Coordinate extraction, processing and requesting more motion events from a gdk.types.EventType.MotionNotify event usually works like this:

{
  // motion_event handler
  x = motion_event->x;
  y = motion_event->y;
  // handle (x,y) motion
  gdk_event_request_motions (motion_event); // handles is_hint events
}