[ sid ]
[ Bron: gnome-shell-extensions ]
Pakket: gnome-shell-extension-user-theme (47.0-2)
Verwijzigingen voor gnome-shell-extension-user-theme
Debian bronnen:
Het bronpakket gnome-shell-extensions downloaden:
- [gnome-shell-extensions_47.0-2.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-2.debian.tar.xz]
Beheerders:
- Debian GNOME Maintainers (QA-pagina, Mailarchief)
- Iain Lane (QA-pagina)
- Jeremy Bícha (QA-pagina)
- Laurent Bigonville (QA-pagina)
- Marco Trevisan (Treviño) (QA-pagina)
Externe bronnen:
- Homepage [wiki.gnome.org]
Vergelijkbare pakketten:
- 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-extensions-common
- gnome-shell-extension-places-menu
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 aan gnome-shell-extension-user-theme gerelateerde pakketten
|
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- of gsettings-backend
- virtueel pakket geboden door dconf-gsettings-backend
-
- dep: gnome-shell (<< 48~)
- graphical shell for the 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
- tool to enable / disable GNOME Shell extensions
- of gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions