Jusqu'à récemment, je n'ai eu aucun problème avec le Dock. Je le laisse toujours affiché et je n'ai pas activé le masquage automatique. Désormais, chaque fois que je change de programme de Chrome à Skype ou du terminal aux 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 sur le séparateur Dock et en cliquant sur Désactiver le masquage, mais il revient simplement à Activer le masquage une fois que je change de programme. Je suis également entré dans les Préférences Système et j'ai sélectionné "Masquer et afficher automatiquement le Dock". J'ai également tué le quai 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 sais même pas pourquoi ni comment cela a commencé.