Information about "gnome-shell-extension-prefs"
gnome-shell-extension-prefs
tool to enable / disable GNOME Shell extensions
48.1-1
gnome
Debian GNOME Maintainers <[email protected]>
gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 48.1-1)
gnome-browser-connector
None
None
None
gnome-extensions-app
pool/main/g/gnome-shell/gnome-shell-extension-prefs_48.1-1_amd64.deb
Depends |
---|
gir1.2-adw-1 |
gir1.2-gtk-4.0 |
gjs |
gnome-shell |