Até recentemente, não tive nenhum problema com o Dock. Eu sempre o mostro e não tenho o ocultação automática ativado. Agora, sempre que eu alterno o programa do Chrome para o Skype ou o Terminal para as Preferências do sistema, o Dock oculta, mesmo que eu nunca tenha alterado a configuração para ativá-lo.
Até o momento, tentei corrigir isso clicando com o botão direito do mouse no separador Dock e clique em Turn Hiding Off, mas ele muda novamente para Turn Hiding On quando eu alterno os programas. Eu também entrei nas Preferências do sistema e selecionei "Ocultar e mostrar automaticamente o Dock". Também matei o dock para reiniciá-lo, o que foi sugerido aqui .
Acho que fiquei sem opções para corrigir isso. Nem sei por que ou como começou.