38c05d91a8
Instead of using one focus group for each (per-monitor) workspacesView, use a single one that is shared between all of them. https://gitlab.gnome.org/GNOME/gnome-shell/issues/412