[ trixie ]
[ sid ]
[ Source: gnome-shell-extensions ]
Package: gnome-shell-extension-places-menu (47.3-1)
Links for gnome-shell-extension-places-menu
Debian Resources:
Download Source Package gnome-shell-extensions:
- [gnome-shell-extensions_47.3-1.dsc]
- [gnome-shell-extensions_47.3.orig.tar.xz]
- [gnome-shell-extensions_47.3-1.debian.tar.xz]
Maintainers:
- Debian GNOME Maintainers (QA Page, Mail Archive)
- Iain Lane (QA Page)
- Jeremy Bícha (QA Page)
- Laurent Bigonville (QA Page)
- Marco Trevisan (Treviño) (QA Page)
External Resources:
- Homepage [wiki.gnome.org]
Similar packages:
- gnome-shell-extension-user-theme
- gnome-classic-xsession
- gnome-shell-extension-system-monitor
- gnome-shell-extension-status-icons
- gnome-shell-extension-drive-menu
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-auto-move-windows
- gnome-shell-extension-light-style
- gnome-classic
- gnome-shell-extension-apps-menu
- gnome-shell-extension-workspace-indicator
menu con posizioni per GNOME Shell
GNOME Shell è estendibile usando estensioni. Questo pacchetto contiene una estensione ufficiale per GNOME Shell che aggiunge un menu per navigare velocemente tra posizioni nel sistema, simile al menu in GNOME 2.
Questo pacchetto fa parte dell'insieme di estensioni predefinito GNOME Classic.
Other Packages Related to gnome-shell-extension-places-menu
|
|
|
|
-
- dep: gnome-shell (<< 48~)
- shell grafica per il desktop GNOME
- dep: gnome-shell (>= 47~)
-
- dep: gnome-shell-extensions-common (= 47.3-1)
- file comuni per le estensioni ufficiali di GNOME Shell
-
- rec: gnome-shell-extension-prefs
- strumento per abilitare/disabilitare estensioni di GNOME Shell
- or gnome-shell-extension-manager
- utilità per gestire estensioni di GNOME Shell
Download gnome-shell-extension-places-menu
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12.0 kB | 42.0 kB | [list of files] |