[ trixie ]
[ sid ]
[ Bron: gnome-shell-extensions ]
Pakket: gnome-shell-extension-places-menu (47.0-3)
Verwijzigingen voor gnome-shell-extension-places-menu
Debian bronnen:
Het bronpakket gnome-shell-extensions downloaden:
- [gnome-shell-extensions_47.0-3.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-3.debian.tar.xz]
Beheerders:
- Debian GNOME Maintainers (QA-pagina, Mailarchief)
- Iain Lane (QA-pagina)
- Jeremy Bícha (QA-pagina)
- Laurent Bigonville (QA-pagina)
- Marco Trevisan (Treviño) (QA-pagina)
Externe bronnen:
- Homepage [wiki.gnome.org]
Vergelijkbare pakketten:
- 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.
Andere aan gnome-shell-extension-places-menu gerelateerde pakketten
|
|
|
|
-
- dep: gnome-shell (<< 48~)
- graphical shell for the GNOME desktop
- 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
- of gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions