Paquet : gnome-shell-extension-workspaces-to-dock (52+git20200318-1)
Liens pour gnome-shell-extension-workspaces-to-dock
Ressources Trisquel :
Télécharger le paquet source gnome-shell-extension-workspaces-to-dock :
- [gnome-shell-extension-workspaces-to-dock_52+git20200318-1.dsc]
- [gnome-shell-extension-workspaces-to-dock_52+git20200318.orig.tar.gz]
- [gnome-shell-extension-workspaces-to-dock_52+git20200318-1.debian.tar.xz]
Responsable :
Original Maintainers:
- Debian GNOME Maintainers (Archive du courrier électronique)
- Jonathan Carter
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
additional options for GNOME workspace switcher
A GNOME Shell extension that transforms the workspaces of the overview mode into an intelligent dock.
It adds extra features to the workspaces area including:
- Multiple display preferences - Select which side of display to keep workspaces - Adjust size of workspace area - Adjust background and colours - Adjust autohide behaviour - Display window icons in thumbnail area
Autres paquets associés à gnome-shell-extension-workspaces-to-dock
|
|
|
-
- dep: gnome-shell (<< 3.37)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 3.36)
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
Télécharger gnome-shell-extension-workspaces-to-dock
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 93,3 ko | 912 ko | [liste des fichiers] |