FYI,
        * gdk-1.2.defs (GdkEventMask): Add GDK_PROPERTY_CHANGE_MASK,
        GDK_VISIBILITY_NOTIFY_MASK, GDK_PROXIMITY_IN_MASK,
        GDK_PROXIMITY_OUT_MASK, GDK_SUBSTRUCTURE_MASK.