95b83575cb
I suggested it myself when reviewing https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1668, so here I am reverting that again... The difference between calling _setFocusWindow(null) and simply unsetting the focusWindow is that the former animates the window back to its position before we shifted it up, while the latter simply "lets go of the window". In this case we actually want the latter because after the user grabbed the window, we obviously should not animate it away right underneath the users pointer/finger. To ensure the same mistake doesn't happen again, add a small comment explaining why this code is as it is. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1760>