FYI, a couple of missing gdkevent field accessor cases, * gdk-support.c (gdk_event_deviceid): Use proximity.deviceid. (gdk_event_source): Use proximity.source. (gdk_event_state): Use crossing.state. (gdk_event_time): Use crossing.time.