e32ec73315
Simplify the code a bit. The workspace group is relatively self-contained, so split it from the general animation. Reimplement _syncStacking(). This will help a lot later, with workspace strip and multi-monitor support. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1326>