Gdk.EventType.LEAVE_NOTIFY – gdk-3.0 Reference Manual
LEAVE_NOTIFY
Description:
LEAVE_NOTIFY
the pointer has left the window.
2022 vala-language.org