Gtk.AttachOptions.SHRINK – gtk+-3.0 Reference Manual
SHRINK
Description:
SHRINK
the widget should shrink as and when possible.
2022 vala-language.org