Description
Simple GNOME Shell extension manager in the top panel.
Simple GNOME Shell extension manager in the top panel
For support, please report any issues via the homepage link below.
package
gnome-shell-extension-extension-list
Metadata
Version
37