Gdk.EventType.WINDOW_STATE – gdk-3.0 Reference Manual
WINDOW_STATE
Description:
WINDOW_STATE
the state of a window has changed.
See
WindowState
for the possible window states
2022 vala-language.org