ed2a11ba57
The cached work area, which is the work area of the primary monitor, effectively depends on two properties - the (global) work area and the primary monitor - and we are only tracking changes to one of them. Also track monitor changes to also cover the second case. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2623>