Jusqu'à récemment, je n'avais aucun problème avec le Dock. Je le laisse toujours affiché et je n'ai pas activé la fonction de masquage automatique. Désormais, chaque fois que je passe de Chrome à Skype ou de Terminal à Préférences Système, le Dock se cache, même si je n'ai jamais modifié le paramètre pour l'activer.
Jusqu'à présent, j'ai essayé de résoudre ce problème en cliquant avec le bouton droit de la souris sur le séparateur du Dock et en cliquant sur Turn Hiding Off (désactiver le masquage), mais il redevient Turn Hiding On dès que je change de programme. Je me suis également rendu dans les préférences système et j'ai sélectionné "Masquer et afficher automatiquement le Dock". J'ai également supprimé le Dock pour le redémarrer, ce qui a été suggéré. ici .
Je pense que je n'ai plus d'options pour résoudre ce problème. Je ne suis même pas sûr de savoir pourquoi ou comment ça a commencé.
