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