[ bianca ]
[ Paquet source : gnome-shell-extension-dashtodock ]
Paquet : gnome-shell-extension-dashtodock (100-2)
Liens pour gnome-shell-extension-dashtodock
Télécharger le paquet source gnome-shell-extension-dashtodock :
- [gnome-shell-extension-dashtodock_100-2.debian.tar.xz]
- [gnome-shell-extension-dashtodock_100-2.dsc]
- [gnome-shell-extension-dashtodock_100.orig.tar.gz]
Responsables :
Ressources externes :
- Page d'accueil [micheleg.github.io]
Paquets similaires :
dash-to-dock extension for GNOME shell
Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your system.
It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is themes friendly.
Autres paquets associés à gnome-shell-extension-dashtodock
|
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- ou gsettings-backend
- paquet virtuel fourni par dconf-gsettings-backend, xfconf-gsettings-backend
-
- dep: gnome-shell (<< 49~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 45~)
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
- ou gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions
Télécharger gnome-shell-extension-dashtodock
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 168,8 ko | 1 199,0 ko | [liste des fichiers] |