97eb4560ef
And move it to the bottom of the overview. Change the height-based calculation of the icon sizes to be width-based. Put the DashFader in a vertical box, and make all corners of the Dash equally rounded. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1559>