Description
Simple GNOME Shell extension manager in the top panel.
Simple GNOME Shell extension manager in the top panel
For support, please report issues via the Homepage link below rather than the review section below it.
package
gnome-shell-extension-extension-list
Metadata
Version
42License
Maintainers (1)
Platforms (22)
Linux
Show all
aarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-linuxarmv7l-linuxi686-linuxloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-linux