Paket: gnome-shell-extension-prefs (3.36.2-1) [debports]
Links für gnome-shell-extension-prefs
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Externe Ressourcen:
- Homepage [wiki.gnome.org]
Ähnliche Pakete:
- 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
- notification-position-reloaded
- gnome-shell-extension-light-style
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-drive-menu
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 Pakete mit Bezug zu gnome-shell-extension-prefs
|
|
|
|
-
- dep: gnome-shell (= 3.36.2-1)
- Grafische Shell für den GNOME-Desktop
-
- dep: gnome-shell-common (= 3.36.2-1)
- Gemeinsame Dateien für die grafische Shell von GNOME
-
- rec: chrome-gnome-shell
- Paket nicht verfügbar
gnome-shell-extension-prefs herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| m68k (inoffizielle Portierung) | 37,5 kB | 58,0 kB | [Liste der Dateien] |