
It's what we base our size request on, and what we actually allocate. The difference usually doesn't matter right now, but will soon when we animate the minimap itself. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3739 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1696>