Whether the PanelPlugin can shrink when there is no space left on the panel.
Plugin writers can use it to read or set this property, but set_shrink is recommended.