Hasta hace poco no he tenido ningún problema con el Dock. Siempre lo dejo en pantalla y no tengo la función de ocultación automática habilitada. Ahora, cada vez que cambio el programa de Chrome a Skype o de Terminal a Preferencias del sistema, el Dock se oculta, aunque nunca he cambiado la configuración para activarlo.
Hasta ahora he intentado solucionar esto haciendo clic con el botón derecho en el separador Dock y haciendo clic en Desactivar ocultación, pero simplemente vuelve a Activar ocultación una vez que cambio los programas. 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 este problema. Ni siquiera estoy seguro de por qué o cómo comenzó.