944b835fa9
Be consistent with workspace switching. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/825
Be consistent with workspace switching. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/825