- Modifié
Bonjour,
Il n'y a pas longtemps, la discussion là m'a donné l'envie de fouiller tout comme PapsOu dans la config du dock pour qu'enfin qu'il se cache le saligot !! Surtout quand je n'ai pas besoin de lui.
J'ai trouvé mon bonheur chez un contributeur d'Archlinux (Zodiac66) qui propose une révision de plusieurs extensions et entre autre du dock.
Ici pour le détail du paquet
Là pour télécharger la source
Pour ma part j'ai installé uniquement son dock "autohide" qui marche pour le moment nickel ! Rien à redire. (avec le déplacement des fenêtres lors de la sortie du dock qui est vraiment trop choux ! ¹ )
Un défaut mineur cependant : gnome-shell met bien 2 ou 3 secondes en plus à se lancer.
Surtout désinstallez, ou n'installez pas l'extension dock des dépôts updates, car c'est incompatible avec le dock "autohide" ça casse gnome-shell méchamment, même qu'il n'y a pas la page erreur qui vous propose de redémarrer la session.
Ma trouvaille n'est peut être pas si belle que ça. (Zodiac propose aussi une activitytopbar autohide... à voir et essayer).
1: c'est choux quand les fenêtres ne sont pas maximisées, ça l'est un peu moins quand elles le sont, car le dock ne recouvre pas la fenêtre maximisée mais la déplace... pas bien grave mais c'est moins fluide et beau).
Il n'y a pas longtemps, la discussion là m'a donné l'envie de fouiller tout comme PapsOu dans la config du dock pour qu'enfin qu'il se cache le saligot !! Surtout quand je n'ai pas besoin de lui.
J'ai trouvé mon bonheur chez un contributeur d'Archlinux (Zodiac66) qui propose une révision de plusieurs extensions et entre autre du dock.
Ici pour le détail du paquet
Là pour télécharger la source
Pour ma part j'ai installé uniquement son dock "autohide" qui marche pour le moment nickel ! Rien à redire. (avec le déplacement des fenêtres lors de la sortie du dock qui est vraiment trop choux ! ¹ )
Un défaut mineur cependant : gnome-shell met bien 2 ou 3 secondes en plus à se lancer.
Surtout désinstallez, ou n'installez pas l'extension dock des dépôts updates, car c'est incompatible avec le dock "autohide" ça casse gnome-shell méchamment, même qu'il n'y a pas la page erreur qui vous propose de redémarrer la session.
Ma trouvaille n'est peut être pas si belle que ça. (Zodiac propose aussi une activitytopbar autohide... à voir et essayer).
1: c'est choux quand les fenêtres ne sont pas maximisées, ça l'est un peu moins quand elles le sont, car le dock ne recouvre pas la fenêtre maximisée mais la déplace... pas bien grave mais c'est moins fluide et beau).