[ trixie ]
[ sid ]
[ Source: gnome-shell-extensions ]
Package: gnome-shell-extension-places-menu (47.2-1)
Links for gnome-shell-extension-places-menu
Debian Resources:
Download Source Package gnome-shell-extensions:
- [gnome-shell-extensions_47.2-1.dsc]
- [gnome-shell-extensions_47.2.orig.tar.xz]
- [gnome-shell-extensions_47.2-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-window-list
- gnome-shell-extension-launch-new-instance
- gnome-shell-extension-drive-menu
- gnome-shell-extension-light-style
- gnome-shell-extension-workspace-indicator
- gnome-shell-extension-user-theme
- gnome-shell-extension-native-window-placement
- gnome-shell-extension-system-monitor
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-status-icons
- gnome-shell-extension-auto-move-windows
Places menu for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to add a menu for quickly navigating to places in the system, similar to the menu in GNOME 2.
This package is part of the GNOME Classic default set of extensions.
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.2-1)
- common files for official GNOME Shell extensions
-
- 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] |