ea9c4e589d
So the `WindowManager._mapWindow` animation doesn't get skipped if the overview is visible but closing. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1440>