| Name: | gnome-shell-extension-workspace-indicator |
|---|---|
| Version: | 3.28.1 |
| Release: | 12.el7_8 |
| Architecture: | noarch |
| Group: | User Interface/Desktops |
| Size: | 25326 |
| License: | GPLv2+ |
| RPM: | gnome-shell-extension-workspace-indicator-3.28.1-12.el7_8.noarch.rpm |
| Source RPM: | gnome-shell-extensions-3.28.1-12.el7_8.src.rpm |
| Build Date: | Thu Aug 06 2020 |
| Build Host: | jenkins-10-147-72-125-b3dd008d-24b6-4d69-97a5-2ac5474c204e.appad3iad.osdevelopmeniad.oraclevcn.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. |