Package: gnome-shell-extension-prefs (43.6-1) [debports]
Links for gnome-shell-extension-prefs
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [wiki.gnome.org]
Similar packages:
- gnome-shell-extension-caffeine
- gnome-shell-extension-espresso
- gnome-shell-extensions-extra
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- gnome-shell-extension-mediaplayer
- gconf-gsettings-backend
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extensions-gpaste
tool to enable / disable GNOME Shell extensions
This package contains a tool which users who use Shell extensions can use to toggle them on and off, and access their preferences.
Other Packages Related to gnome-shell-extension-prefs
|
|
|
|
-
- dep: gir1.2-adw-1
- GObject introspection files for libadwaita
-
- dep: gir1.2-gtk-4.0
- GTK graphical user interface library -- gir bindings
-
- dep: gjs (>= 1.73.1)
- Mozilla-based javascript bindings for the GNOME platform (cli tool)
-
- dep: gnome-shell (= 43.6-1)
- graphical shell for the GNOME desktop
-
- dep: gnome-shell-common (= 43.6-1)
- common files for the GNOME graphical shell
-
- rec: chrome-gnome-shell
- GNOME Shell integration for browsers - transitional package
Download gnome-shell-extension-prefs
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
riscv64 (unofficial port) | 26.2 kB | 57.0 kB | [list of files] |