Gdk.EventMask.LEAVE_NOTIFY_MASK – gdk-3.0 Reference Manual
LEAVE_NOTIFY_MASK
Description:
LEAVE_NOTIFY_MASK
receive window leave events
2022 vala-language.org