Gtk.EventControllerMotion.leave – gtk4 Reference Manual
leave
Description:
public
signal
void
leave
()
Signals that the pointer has left the widget.
2022 vala-language.org