Name: | gnome-shell-extension-workspace-indicator |
---|---|
Version: | 3.22.2 |
Release: | 10.el7 |
Architecture: | noarch |
Group: | User Interface/Desktops |
Size: | 16407 |
License: | GPLv2+ |
RPM: | gnome-shell-extension-workspace-indicator-3.22.2-10.el7.noarch.rpm |
Source RPM: | gnome-shell-extensions-3.22.2-10.el7.src.rpm |
Build Date: | Thu Aug 03 2017 |
Build Host: | x86-ol7-builder-01.us.oracle.com |
Vendor: | Oracle America |
URL: | http://wiki.gnome.org/Projects/GnomeShell/Extensions |
Summary: | Workspace indicator for GNOME Shell |
Description: | This GNOME Shell extension add a system status menu for quickly changing workspaces. |