Florian Müllner 95386a1423 workspacesView: Update visibility after updating workspaces
When the number of workspaces changes, it is possible that one
of the visible (non-active) workspaces is removed, and another
invisible workspace moves in its place.

Make sure that workspaces are shown as necessary in this case.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6519

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2699>
2023-03-21 12:02:52 +00:00
..
2022-12-16 22:12:59 +01:00
2023-03-03 20:38:03 +00:00
2023-02-07 14:46:28 +00:00
2022-12-16 22:12:59 +01:00
2023-02-24 15:32:06 +00:00
2023-03-19 13:39:41 +00:00
2022-12-16 22:12:59 +01:00