| Name: | gnome-shell-extension-workspace-indicator |
|---|---|
| Version: | 3.8.4 |
| Release: | 12.el7 |
| Architecture: | noarch |
| Group: | User Interface/Desktops |
| Size: | 15628 |
| License: | GPLv2+ |
| RPM: | gnome-shell-extension-workspace-indicator-3.8.4-12.el7.noarch.rpm |
| Source RPM: | gnome-shell-extensions-3.8.4-12.el7.src.rpm |
| Build Date: | Sun Dec 14 2014 |
| Build Host: | ca-buildj3.us.oracle.com |
| Vendor: | Oracle America |
| URL: | http://live.gnome.org/GnomeShell/Extensions |
| Summary: | Workspace indicator for GNOME Shell |
| Description: | This GNOME Shell extension add a system status menu for quickly changing workspaces. |