Chociaż ustawiłem opcję „ Auto-hide the Dock ” na On, stacja dokująca nie znika. Ikony na pulpicie przesuwają się nieco w lewo, tak że są częściowo zakryte przez dok, ale dok pozostaje tam tak długo, jak długo nie zakrywa go zmaksymalizowane okno.
Pierwsze zdjęcie pokazuje fragment mojego pulpitu z włączonym automatycznym ukrywaniem, drugie z włączonym automatycznym ukrywaniem.
Trzecie zdjęcie pokazuje, czego chciałem i co uzyskałem dzięki odpowiedzi @ pomsky.