Source position: gdktypes.pp line 1001
type TGdkEventProximity = record
thetype: TGdkEventType;
window: PGdkWindow;
send_event: gint8;
time: guint32;
source: TGdkInputSource;
deviceid: guint32;
end;