Gdk.EventType.NOTHING – gdk-3.0 Reference Manual
NOTHING
Description:
NOTHING
a special code to indicate a null event.
2022 vala-language.org