Ceci peut-être une question stupide, avec une solution facile. Mais je cherche à rien en vain.
Je suis incapable de changer de configuration docky, j'ai essayé d'ouvrir le réglage de Docky sur le quai, mais l'option pour la faire cacher était grisée.
Comment puis-je modifier l'option? Ou le projet Docky est-il vraiment mort, avant que Docky, j'utilise la planche, mais il n'a pas d'animation. Si la planche a une animation, je resterais avec ça.
FYI: Je l'installe avec Sudo apt install docky
Ouvrez un terminal et courez plank --preferences
Vous obtiendrez une fenêtre comme ceci:
Vous pouvez ajuster la valeur de icône zoom pour répondre à vos besoins.