Request more motion notifies if event is a motion notify hint event.
This function should be used instead of 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_MOTION_NOTIFY event usually works like this:
Request more motion notifies if event is a motion notify hint event.
This function should be used instead of 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_MOTION_NOTIFY event usually works like this: