Masquer automatiquement le dock couvre les icônes du bureau

13

Comme dans cette question , j'ai constaté que lorsque je définissais "Paramètres -> Dock -> Masquer automatiquement le Dock" sur "On", le dock couvre presque complètement la colonne la plus à gauche des icônes du bureau:

Cela rend très difficile de voir ou de sélectionner ces icônes. (Je peux les faire glisser manuellement sous le dock, mais ensuite, par exemple, en cliquant sur "organiser les icônes par nom" ou en modifiant les paramètres de masquage automatique du dock, vous les remettez sous celui-ci.)

Contrairement à l'OP pour la question liée, dont la solution préférée consiste à masquer le dock lorsqu'il n'y a pas de fenêtres le couvrant, je préférerais que les icônes par défaut soient situées à des emplacements qui ne sont pas couverts par le dock, comme ils le font lorsque le dock n'est pas défini. pour masquer automatiquement. Est-ce qu'il y a un moyen de faire ça?

— tparker
source

Question secondaire et mini-diatribe: pourquoi diable ce bug n'a-t-il pas été attrapé avant sa sortie? Il n'y a que trois options de personnalisation de dock activé dans l'interface graphique des paramètres par défaut, et l' un d'entre eux est complètement cassé! N'est-ce pas la principale motivation pour permettre au quai d'être masqué automatiquement afin que les gens puissent utiliser cet espace de bureau?

— tparker

4

La réponse actuelle est que vous ne pouvez pas. Il s'agit d'un bogue connu depuis le 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117

Donc, je ne suis pas vraiment tombé à travers les mailles du filet, il n'y a personne qui soit affecté à la réparation car la chose la plus importante à propos de la version de bureau d'Ubuntu est actuellement de limiter la quantité de ressources utilisées. (c'est-à-dire de l'argent

— doug
source

À mon avis, il s'agit en fait d'un bug assez sérieux - il casse complètement l'option "masquer automatiquement le dock", qui est assez importante. Ce n'est pas tout à fait aussi mauvais si vous désactivez intellihide comme dans la réponse à la question liée, mais encore assez mal.

— tparker

0

Je ne dirais pas que cela est dû au fait que Canonical a supprimé des ressources du bureau, comme l'indique une autre réponse. Après tout, l'extension dash-to-dock est développée indépendamment et utilisée dans d'autres distributions (par exemple, Manjaro).

Apparemment, le problème ne peut pas être résolu au niveau de l'extension ( https://github.com/micheleg/dash-to-dock/issues/17 ). Ce n'est donc pas si facile à corriger sans modifications en amont, et en amont, ils ont déjà décidé contre les icônes du bureau, alors ...

OTOH, probablement intellihide (le comportement actuel) est meilleur que le masquage automatique pour Ubuntu, même avec le bogue. OMI, Ubuntu devrait supprimer l'extension de l'icône du bureau pour de bon, à un moment donné.

Je dirais: déplacez simplement votre dock vers le bas ou vers la droite (il n'est donc pas vrai que le bogue casse complètement la fonctionnalité intellihide, comme certains commentaires le disent).

— memeplex
source