Hasta hace poco no he tenido ningún problema con el Muelle. Siempre lo dejaba a la vista y no tenía activado el ocultamiento automático. Ahora, cada vez que cambio de 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 arreglar esto haciendo clic con el botón derecho del ratón en el separador del Dock y haciendo clic en Desactivar Ocultación, pero sólo cambia de nuevo a Activar Ocultación una vez que cambio de programa. También he entrado en Preferencias del Sistema y he seleccionado "Ocultar y mostrar el Dock automáticamente". También he matado al Dock para reiniciarlo, lo cual fue sugerido aquí .
Creo que me he quedado sin opciones para solucionar esto. Ni siquiera estoy seguro de por qué o cómo empezó.
