web-dev-qa-db-fra.com

Comment puis-je empêcher Ubuntu Dock de s'étendre jusqu'aux bords?

Par défaut, Ubuntu Dock dans Ubuntu 17.10 et les versions ultérieures s’étend toujours aux bords (de haut en bas s’il est placé à gauche ou à droite et de gauche à droite s’il est placé en bas) même s’il n’est pas rempli d’icônes.

Existe-t-il un moyen d’empêcher ce comportement (c’est-à-dire que je souhaite assouplir la longueur du dock, car le nombre d’icônes d’application dans le dock augmente, il doit donc s’agrandir en conséquence)?

En d'autres termes, y a-t-il un moyen de faire en sorte que le dock Ubuntu ressemble à un "dock approprié" au lieu d'un panneau latéral/inférieur?

11
pomsky

Ouvrir le terminal et courir

gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height false

Pour revenir au "mode panneau", exécutez

gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height true
17
pomsky

En utilisant soit le Gnome Tweak Tool, soit https://extensions.gnome.org/local/ , désactivez l’extension intégrée 17.10 Ubuntu Dock et installez l’extension plus configurable Dash to Dock et vous en donnera la quai plus court que vous désirez.

https://extensions.gnome.org/extension/307/dash-to-dock/

2
heynnema