Paket: gnome-shell-extension-user-theme (47.0-2)

[ Quellcode: gnome-shell-extensions  ]

GNOME Shell extension to load alternative GNOME Shell themes

GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to allow switching to alternative GNOME Shell themes.

Andere Pakete mit Bezug zu gnome-shell-extension-user-theme

• dep: dconf-gsettings-backend

  Einfaches Konfigurations-Speichersystem - GSettings-Backend

  oder gsettings-backend

  virtuelles Paket, bereitgestellt durch dconf-gsettings-backend

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

  Grafische Shell für den GNOME-Desktop

  dep: gnome-shell (>= 47~)

• dep: gnome-shell-extensions-common (= 47.0-2)

  common files for official GNOME Shell extensions

• rec: gnome-shell-extension-prefs

  Werkzeug zum Aktivieren/Deaktivieren von Erweiterungen der GNOME Shell

  oder gnome-shell-extension-manager

  Utility for managing GNOME Shell Extensions

gnome-shell-extension-user-theme herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	9,2 kB	31,0 kB	[Liste der Dateien]