Obwohl ich " Dock automatisch ausblenden " auf "Ein" gesetzt habe, verschwindet das Dock nicht. Die Symbole auf dem Desktop bewegen sich etwas nach links, sodass sie teilweise vom Dock abgedeckt werden. Das Dock bleibt jedoch dort, solange kein maximiertes Fenster vorhanden ist.
Das erste Bild zeigt einen Auszug meines Desktops mit aktiviertem automatischem Ausblenden, das zweite mit deaktiviertem automatischem Ausblenden.
Das dritte Bild zeigt, was ich wollte und was ich durch @ pomskys Antwort bekommen habe.
