Do niedawna nie miałem problemu z Dockiem. Zawsze zostawiam to widoczne i nie mam włączonej funkcji automatycznego ukrywania. Teraz za każdym razem, gdy zmieniam program z Chrome na Skype lub Terminal na Preferencje systemowe, Dock ukrywa się, mimo że nigdy nie zmieniłem ustawienia, aby włączyć.
Do tej pory próbowałem to naprawić, klikając prawym przyciskiem myszy separator Docka i klikając polecenie Wyłącz ukrywanie, ale po przełączeniu programów zmieni się z powrotem na Włącz ukrywanie. Przeszedłem również do Preferencji systemowych i wybrałem „Automatycznie ukryj i pokaż Dock”. Zabiłem też dok, aby go ponownie uruchomić, co zostało tutaj zasugerowane .
Myślę, że zabrakło mi opcji, aby to naprawić. Nie jestem nawet pewien, dlaczego i jak to się zaczęło.