gnome-shell-extensions-windowsnavigator noarch bc087a36d1ef2300f7aca77e2d63e066915316327bff0b7d22500880df9be241 Keyboard selection of windows and work-spaces in overlay mode Allow keyboard selection of windows and work-spaces in overlay mode in GNOME Shell. Switch to overview mode (press the windows or alt+f1 key) and press the alt key to show numbers over windows. Press any number to switch to the corresponding window. angrypenguin <angrypenguinpoland@gmail.com> https://live.gnome.org/GnomeShell/Extensions