[ Bron: gnome-shell ]
Pakket: gnome-shell-extension-prefs (42.9-0ubuntu2.2+11.0trisquel1)
Verwijzigingen voor gnome-shell-extension-prefs
Trisquel bronnen:
Het bronpakket gnome-shell downloaden:
Beheerder:
Original Maintainers:
- Debian GNOME Maintainers (Mailarchief)
- Iain Lane
- Jeremy Bicha
Externe bronnen:
- Homepage [wiki.gnome.org]
Vergelijkbare pakketten:
- gnome-shell-extension-caffeine
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extension-gpaste
- gnome-shell-extensions-gpaste
- gnome-shell-extension-better-volume
- gnome-shell-extension-show-ip
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
- Pakket niet beschikbaar
-
- dep: gir1.2-gtk-4.0
- GTK graphical user interface library -- gir bindings
-
- dep: gjs (>= 1.71.1)
- Pakket niet beschikbaar
-
- dep: gnome-shell (= 42.9-0ubuntu2.2+11.0trisquel1)
- graphical shell for the GNOME desktop
-
- dep: gnome-shell-common (= 42.9-0ubuntu2.2+11.0trisquel1)
- common files for the GNOME graphical shell
-
- rec: chrome-gnome-shell
- Pakket niet beschikbaar