Gdk.EventType.PROPERTY_NOTIFY – gdk-3.0 Reference Manual
PROPERTY_NOTIFY
Description:
PROPERTY_NOTIFY
a property on the window has been changed or deleted.
2022 vala-language.org