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é.
la source
Réponses:
Comme EDP l'a souligné, Command + Option + D le fait. L'application Spectacle a des raccourcis près de cela (+ F par exemple) et je vais appuyer sur 'D' accidentellement de temps en temps. Même si vous n'appuyez pas sur le raccourci par inadvertance, Commande + Option + D est un excellent moyen de revenir en arrière en cas de problème.
Astuce cool: ouvrez [Paramètres> Dock], et appuyez sur [Commande + Option + D] plusieurs fois.
la source
J'ai constaté que l'un de mes espaces continuait de masquer automatiquement le Dock et empêchait des choses comme le commutateur d'application et le glissement entre les espaces de cesser de fonctionner. D'autres espaces n'ont pas provoqué la même chose. En fermant l'espace incriminé, le problème a disparu.
la source