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. |