Gdk.EventType.KEY_RELEASE – gtk4 Reference Manual
KEY_RELEASE
Description:
KEY_RELEASE
a key has been released.
2022 vala-language.org