[ bianca ]
[ Paquet source : gnome-shell-extensions ]
Paquet : gnome-shell-extension-places-menu (48.2-1)
Liens pour gnome-shell-extension-places-menu
Télécharger le paquet source gnome-shell-extensions :
- [gnome-shell-extensions_48.2-1.debian.tar.xz]
- [gnome-shell-extensions_48.2-1.dsc]
- [gnome-shell-extensions_48.2.orig.tar.xz]
Responsables :
Ressources externes :
- Page d'accueil [wiki.gnome.org]
Paquets similaires :
- 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.
Autres paquets associés à gnome-shell-extension-places-menu
|
|
|
|
-
- dep: gnome-shell (<< 49~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 48~)
-
- dep: gnome-shell-extensions-common (= 48.2-1)
- common files for official GNOME Shell extensions
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
- ou gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions
Télécharger gnome-shell-extension-places-menu
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 11,9 ko | 41,0 ko | [liste des fichiers] |