![Florian Müllner](/assets/img/avatar_default.png)
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
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