| Name: | gnome-shell-extension-workspace-indicator |
|---|
| Version: | 3.28.1 |
|---|
| Release: | 7.el7 |
|---|
| Architecture: | noarch |
|---|
| Group: | User Interface/Desktops |
|---|
| Size: | 16516 |
|---|
| License: | GPLv2+ |
|---|
| RPM: |
gnome-shell-extension-workspace-indicator-3.28.1-7.el7.noarch.rpm
|
| Source RPM: |
gnome-shell-extensions-3.28.1-7.el7.src.rpm
|
| Build Date: | Wed Aug 07 2019 |
|---|
| Build Host: | jenkins-10-147-72-125-7595d2f5-b9d7-448f-9461-4e6e5d56fbf5.appad1iad.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. |
|---|