Paquet : gnome-shell-extension-user-theme (48.2-1)

Liens pour gnome-shell-extension-user-theme

• Suivis des correctifs pour eLxr

Télécharger le paquet source gnome-shell-extensions :

• [gnome-shell-extensions_48.2-1.debian.tar.xz]
• [gnome-shell-extensions_48.2-1.dsc]
• [gnome-shell-extensions_48.2.orig.tar.xz]

Responsables :

• Debian GNOME Maintainers
• Iain Lane
• Jeremy Bícha
• Laurent Bigonville
• Marco Trevisan (Treviño)

Ressources externes :

• Page d'accueil [wiki.gnome.org]

Paquets similaires :

• gnome-shell-extension-workspace-indicator
• gnome-shell-extension-windows-navigator
• gnome-shell-extension-native-window-placement
• gnome-shell-extension-window-list
• gnome-shell-extension-auto-move-windows
• gnome-shell-extension-screenshot-window-sizer
• gnome-shell-extension-status-icons
• gnome-shell-extension-launch-new-instance
• gnome-shell-extension-drive-menu
• gnome-shell-extension-places-menu
• gnome-shell-extension-apps-menu

Autres paquets associés à gnome-shell-extension-user-theme

• dep: dconf-gsettings-backend

  simple configuration storage system - GSettings back-end

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend, xfconf-gsettings-backend

• dep: gnome-shell (<< 49~)

  graphical shell for the GNOME desktop

  dep: gnome-shell (>= 48~)

• dep: gnome-shell-extensions-common (= 48.2-1)

  common files for official GNOME Shell extensions

• rec: gnome-shell-extension-prefs

  tool to enable / disable GNOME Shell extensions

  ou gnome-shell-extension-manager

  Utility for managing GNOME Shell Extensions

Télécharger gnome-shell-extension-user-theme