Pakket: gnome-shell-extension-window-list (48~beta-1)
Verwijzigingen voor gnome-shell-extension-window-list
Debian bronnen:
Het bronpakket gnome-shell-extensions downloaden:
- [gnome-shell-extensions_48~beta-1.dsc]
- [gnome-shell-extensions_48~beta.orig.tar.xz]
- [gnome-shell-extensions_48~beta-1.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-launch-new-instance
- gnome-shell-extension-places-menu
- gnome-shell-extension-light-style
- gnome-shell-extension-system-monitor
- gnome-shell-extension-native-window-placement
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-auto-move-windows
- gnome-shell-extension-windows-navigator
- gnome-shell-extension-user-theme
- gnome-shell-extension-status-icons
- gnome-shell-extension-drive-menu
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
GNOME Shell extension to display a window list
GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to display a window list at the bottom of the screen.
This package is part of the GNOME Classic default set of extensions.
Andere aan gnome-shell-extension-window-list gerelateerde pakketten
|
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- of gsettings-backend
- virtueel pakket geboden door xfconf-gsettings-backend
-
- dep: gnome-shell (<< 49~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 48~)
-
- dep: gnome-shell-extensions-common (= 48~beta-1)
- 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