user interface/desktops

gnome-shell-extension-workspace-indicator - Workspace indicator for GNOME Shell

Website: http://wiki.gnome.org/Projects/GnomeShell/Extensions
License: GPLv2+
Vendor: Scientific Linux
Description:
This GNOME Shell extension add a system status menu for quickly changing
workspaces.

Packages

gnome-shell-extension-workspace-indicator-3.28.1-5.el7.1.noarch [20 KiB] Changelog by Ray Strode (2019-03-15):
- Fix stuck grab bug
  Resolves: #1697555

Listing created by Repoview-0.6.6-4.el7