Fino a poco tempo fa non ho avuto problemi con il Dock. Lo lascio sempre mostrare e non ho abilitato il nascondimento automatico. Ora ogni volta che cambio programma da Chrome a Skype o da Terminale a Preferenze di Sistema, il Dock si nasconde, anche se non ho mai modificato l'impostazione per attivarlo.
Finora ho provato a risolvere questo problema facendo clic con il pulsante destro del mouse sul separatore Dock e facendo clic su Disattiva nascondi, ma cambia di nuovo in Attiva nascondere una volta che cambio programmi. Sono anche andato in Preferenze di Sistema e selezionato "Nascondi e mostra automaticamente il Dock". Ho anche ucciso il dock per riavviarlo, come suggerito qui .
Penso di aver esaurito le opzioni per risolvere questo problema. Non sono nemmeno sicuro del perché o di come sia iniziato.