pub const GDK_PROPERTY_NOTIFY: GdkEventType = 16;