gnome-shell-extensions-windowsnavigator noarch 8bcd11f34f993c56de07fc2646f855b3d0434d95f5ba35ebfe4dc4c2931acc65 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