chiark / gitweb /
Patch from Mark Wooding: use gdk_event_request_motions() where