456b446394
Now that there's only a ACTIVITIES and a SEARCH page, the old method of handling keyboard tabbing (extra parameters to ViewSelector._addPage()) limits what we can do. Manually set up the Ctrl+Alt+Tab support for each element. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>