Paquet : gnome-shell-extension-places-menu (47.0-3)

[ Paquet source : gnome-shell-extensions  ]

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 (<< 48~)

  interpréteur de commandes graphique pour le bureau GNOME

  dep: gnome-shell (>= 47~)

• dep: gnome-shell-extensions-common (= 47.0-3)

  common files for official GNOME Shell extensions

• rec: gnome-shell-extension-prefs

  tool to enable / disable GNOME Shell extensions

  ou gnome-shell-extension-manager

  utilitaire de gestion d’extensions de GNOME Shell

Télécharger gnome-shell-extension-places-menu

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	12,0 ko	43,0 ko	[liste des fichiers]