[ Bron: gnome-shell ]
Pakket: gnome-shell-extension-prefs (47~rc-3)
Verwijzigingen voor gnome-shell-extension-prefs
Debian bronnen:
Het bronpakket gnome-shell downloaden:
Beheerders:
- Debian GNOME Maintainers (QA-pagina, Mailarchief)
- Jeremy Bícha (QA-pagina)
- Marco Trevisan (Treviño) (QA-pagina)
Externe bronnen:
- Homepage [wiki.gnome.org]
Vergelijkbare pakketten:
- 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
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
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.
Andere aan gnome-shell-extension-prefs gerelateerde pakketten
|
|
|
|
-
- 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 (= 47~rc-3)
- graphical shell for the GNOME desktop
-
- dep: gnome-shell-common (>= 47~)
- common files for the GNOME graphical shell
-
- rec: chrome-gnome-shell
- GNOME Shell integration for browsers - transitional package