Open win0err opened 1 year ago
See https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/animation.js
See https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/animation.js