Gdk.WindowHints.USER_SIZE – gdk-3.0 Reference Manual
USER_SIZE
Description:
USER_SIZE
indicates that the window’s size was explicitly set by the user
2022 vala-language.org