[ Source: gnome-shell ]
Package: gnome-shell-extension-prefs (46.4-1)
Links for gnome-shell-extension-prefs
Debian Resources:
Download Source Package gnome-shell:
Maintainers:
- Debian GNOME Maintainers (QA Page, Mail Archive)
- Jeremy Bícha (QA Page)
- Marco Trevisan (Treviño) (QA Page)
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
strumento per abilitare/disabilitare estensioni di GNOME Shell
Questo pacchetto contiene uno strumento che gli utenti delle estensioni di Shell possono utilizzare per attivarle e disattivarle e per accedere alle loro preferenze.
Other Packages Related to gnome-shell-extension-prefs
|
|
|
|
-
- dep: gir1.2-adw-1
- file di introspezione GObject per libadwaita
-
- dep: gir1.2-gtk-4.0
- libreria per interfacce utente grafiche GTK -- collegamenti GIR
-
- dep: gjs (>= 1.73.1)
- collegamenti JavaScript basati su Mozilla per la piattaforma GNOME (strumento CLI)
-
- dep: gnome-shell (= 46.4-1)
- shell grafica per il desktop GNOME
-
- dep: gnome-shell-common (= 46.4-1)
- file comuni per la shell grafica di GNOME
-
- rec: chrome-gnome-shell
- integrazione con GNOME Shell per browser web - pacchetto di transizione
Download gnome-shell-extension-prefs
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
i386 | 32.1 kB | 74.0 kB | [list of files] |