3f09876463
It is basically the same of animating horizontally, except on the Y axis, and based on the height of the indicators. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1518>