Hasta hace poco no tuve problemas con el Dock. Siempre lo dejo mostrando y no tengo habilitado el ocultamiento automático. Ahora, cada vez que cambio el programa de Chrome a Skype o Terminal a Preferencias del sistema, el Dock se oculta, a pesar de que nunca he cambiado la configuración para activarlo.
Hasta ahora he intentado solucionar esto haciendo clic derecho en el separador de Dock y haciendo clic en Desactivar ocultación, pero solo cambia de nuevo a Activar ocultación una vez que cambio de programa. También entré en Preferencias del sistema y seleccioné "Ocultar y mostrar automáticamente el Dock". También maté el muelle para reiniciarlo, lo que se sugirió aquí .
Creo que me he quedado sin opciones para solucionar esto. Ni siquiera estoy seguro de por qué o cómo comenzó.
fuente
Respuestas:
Como EDP señaló, Comando + Opción + D hace esto. La aplicación Spectacle tiene accesos directos cerca de esto (+ F por ejemplo) y tocaré accidentalmente 'D' de vez en cuando. Incluso si no está tocando el acceso directo inadvertidamente, Comando + Opción + D es una excelente manera de cambiar la configuración de nuevo cuando sale mal.
Truco genial: abre [Configuración> Dock] y toca [Comando + Opción + D] un par de veces.
fuente
Descubrí que uno de mis espacios seguía provocando que el Dock se ocultara automáticamente y evitaba que cosas como el selector de aplicaciones y deslizar entre espacios dejaran de funcionar. Otros espacios no causaron lo mismo. Al cerrar el espacio ofensivo, el problema desapareció.
fuente