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ó.