22e21ad7d1
We use AnimatedIcon with the same resource all over the place, cut down on the duplication by providing a dedicated class. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/316