Source position: gdkevents.inc line 281
type TGdkEventProximity = record
_type: TGdkEventType;
window: PGdkWindow;
send_event: gint8;
time: guint32;
device: PGdkDevice;
end;