Paquet : gnome-shell-extension-dashtodock (71-1)
Liens pour gnome-shell-extension-dashtodock
Ressources Trisquel :
Télécharger le paquet source : Introuvable
Ressources externes :
- Page d'accueil [micheleg.github.io]
Paquets similaires :
- gnome-shell
- gnome-shell-extensions
- gnome-shell-extension-ubuntu-dock
- elpa-perspective
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-vertical-overview
- nautilus
- gnome-shell-extension-desktop-icons-ng
- gnome-shell-extension-desktop-icons
- gnome-shell-extension-log-out-button
- gnome-shell-extension-caffeine
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
-
- dep: gnome-shell (>= 40)
- graphical shell for the GNOME desktop
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
Télécharger gnome-shell-extension-dashtodock
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 145,6 ko | 945 ko | [liste des fichiers] |