Gdk.EventType.DRAG_LEAVE – gdk-3.0 Reference Manual
DRAG_LEAVE
Description:
DRAG_LEAVE
the mouse has left the window while a drag is in progress.
2022 vala-language.org