Paquet : gnome-shell-extension-dashtodock (87+really84-1)

[ Paquet source : gnome-shell-extension-dashtodock  ]

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

  système de stockage de configuration simple - moteur GSettings

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend

• dep: gnome-shell (<< 45~)

  interpréteur de commandes graphique pour le bureau GNOME

  dep: gnome-shell (>= 40)

• rec: gnome-shell-extension-prefs

  tool to enable / disable GNOME Shell extensions

Télécharger gnome-shell-extension-dashtodock

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	158,3 ko	1 115,0 ko	[liste des fichiers]