Package : gnome-shell-extensions-workspace-indicator > RPM : gnome-shell-extensions-workspace-indicator-3.14.3-1.1.mga5.noarch.rpm
Basic items
Install
| Name |
gnome-shell-extensions-workspace-indicator |
| Version |
3.14.3 |
| Release |
1.1.mga5 |
| URL |
https://wiki.gnome.org/GnomeShell/Extensions |
| Group |
Graphical desktop/GNOME |
| Summary |
A menu for changing workspace |
| Size |
16KB |
| Arch |
noarch |
| License |
GPLv2+ and BSD |
Description
A menu for changing workspace.
Media information
| Distribution release |
Mageia 5 |
| Media name |
core-updates |
| Media arch |
i586 |
Advanced items