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