Paquet : gnome-shell-extension-workspaces-to-dock (49-1)

[ Paquet source : gnome-shell-extension-workspaces-to-dock  ]

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.30)

  interpréteur de commandes graphique pour le bureau GNOME

Télécharger gnome-shell-extension-workspaces-to-dock

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	91,6 ko	904,0 ko	[liste des fichiers]