a73bea02e8
Right now the minimap only hides itself in case of a single static workspace. That's not only an edge case, but also not expected to change while the overview is visible, so changing the visibility without a transition is fine. However that is about to change, and we'll hide the minimap as well when there are fewer than three workspaces. As that condition is very much expected to change from within the overview, the transition should be animated. Implement that via a new :collapse-fraction property on ThumbnailsBox, and use that to transition both the height of the box itself and the scale of the individual thumbnails. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3739 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1696>