09d3cdb023
Since commit 1939e22c22c, we move the keyboard focus with the hover highlight. However while this makes sense when interacting with the window picker, it interferes with keyboard navigation of other components like dash or top bar. Address this by only moving the focus when the previous focus was already inside the window picker or unset. https://gitlab.gnome.org/GNOME/gnome-shell/issues/50