Source position: gdkevents.inc line 257
type TGdkEventProperty = record
_type: TGdkEventType;
window: PGdkWindow;
send_event: gint8;
atom: TGdkAtom;
time: guint32;
state: guint;
end;