user interface/desktops

gnome-shell-extension-windowsNavigator - Support for keyboard selection of windows and workspaces in GNOME Shell

Website: http://wiki.gnome.org/Projects/GnomeShell/Extensions
License: GPLv2+
Vendor: Scientific Linux
Description:
This GNOME Shell extension enables keyboard selection of windows and workspaces
in overlay mode, by pressing the Alt and Ctrl key respectively.

Packages

gnome-shell-extension-windowsNavigator-3.28.1-11.el7.noarch [20 KiB] Changelog by Jonas Ådahl (2019-12-06):
- A couple of fixes to the classic backports
  Resolves: #1778270
gnome-shell-extension-windowsNavigator-3.28.1-5.el7.noarch [19 KiB] Changelog by Ray Strode (2018-09-04):
- Get rid of weird drop shadow next to app menu
  Resolves: #1599841

Listing created by Repoview-0.6.6-4.el7