Gdk.EventType.BUTTON_RELEASE – gdk-3.0 Reference Manual
BUTTON_RELEASE
Description:
BUTTON_RELEASE
a mouse button has been released.
2022 vala-language.org