Package : gnome-shell-extensions-workspace-indicator > RPM : gnome-shell-extensions-workspace-indicator-3.38.2-1.mga8.noarch.rpm
Basic items
Install
| Name |
gnome-shell-extensions-workspace-indicator |
| Version |
3.38.2 |
| Release |
1.mga8 |
| URL |
https://wiki.gnome.org/GnomeShell/Extensions |
| Group |
Graphical desktop/GNOME |
| Summary |
A menu for changing workspace |
| Size |
22KB |
| Arch |
noarch |
| License |
GPLv2+ |
Description
A menu for changing workspace.
Media information
| Distribution release |
Mageia 8 |
| Media name |
core-release |
| Media arch |
armv7hl |
Advanced items