Source position: gdkevents.inc line 102
type TGdkPropertyState = (
GDK_PROPERTY_NEW_VALUE,
GDK_PROPERTY_STATE_DELETE
);