[ sid ]
[ Bron: gnome-shell-extensions ]
Pakket: gnome-shell-extension-workspace-indicator (47.0-2)
Verwijzigingen voor gnome-shell-extension-workspace-indicator
Debian bronnen:
Het bronpakket gnome-shell-extensions downloaden:
- [gnome-shell-extensions_47.0-2.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-2.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
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 dconf-gsettings-backend
-
- dep: gnome-shell (<< 48~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 47~)
-
- dep: gnome-shell-extensions-common (= 47.0-2)
- 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