Pakket: gnome-shell-extension-workspace-indicator (48~beta-1)
Verwijzigingen voor gnome-shell-extension-workspace-indicator
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-user-theme
- gnome-shell-extension-light-style
- gnome-shell-extension-apps-menu
- gnome-shell-extension-auto-move-windows
- gnome-shell-extension-status-icons
- gnome-shell-extension-drive-menu
- gnome-shell-extension-places-menu
- gnome-shell-extension-native-window-placement
- gnome-shell-extension-window-list
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-launch-new-instance
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.
Workspace indicator for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to add an indicator to the panel to show what workspace you are using and allow you to switch to a different workspace.
Andere aan gnome-shell-extension-workspace-indicator 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