Constant GDK_PROPERTY_NOTIFY 

pub const GDK_PROPERTY_NOTIFY: GdkEventType = 16;