Gdk.EventType.GRAB_BROKEN – gdk-3.0 Reference Manual
GRAB_BROKEN
Description:
GRAB_BROKEN
a pointer or keyboard grab was broken.
This event type was added in 2.8.
2022 vala-language.org