Actuellement, le dock est masqué automatiquement et j'aimerais qu'il reste caché jusqu'à ce que je l'affiche explicitement à l'aide d'un raccourci clavier tel que "Déplacer le focus vers le dock" ou "Activer/désactiver le masquage du dock". En fait, je ne veux pas qu'il s'ouvre par inadvertance lorsque je déplace la souris vers le bord de l'écran (par exemple, pour accéder à une barre de défilement dans une application plein écran) et qu'il me gêne. J'ai essayé de le déplacer vers la gauche, ce qui a légèrement réduit le désagrément, mais je finis toujours par le déclencher, car j'utilise de nombreuses applications en mode plein écran et j'ai tendance à tendre les bras de tous les côtés. Comme j'utilise beaucoup le clavier, cela ne me dérange pas d'utiliser occasionnellement le clavier pour sélectionner quelque chose dans le dock (j'utilise Ctrl+Esc pour déplacer le focus sur le dock, et je tape le premier ou les deux premiers caractères de l'application pour la sélectionner et appuyer sur pour la lancer).
J'ai trouvé des solutions de contournement qui fonctionnent bien pour le désactiver (de manière permanente), mais qui ne sont pas adaptées à mon cas. Par exemple, celui-ci pour le ralentir y celui-ci pour le rendre haut d'un pixel et http://www.chaoticsoftware.com/extras.html.
J'ai regardé tous les paramètres par défaut du dock en lançant la commande defaults find .dock Mais peut-être ai-je manqué quelque chose parce que ce n'était pas évident, ou peut-être parce qu'il n'y a pas d'entrée (comme un défaut caché ?). Quelqu'un a une solution ou une idée ?
