Ich mag es, das Dock zu verstecken, es sei denn, ich brauche es. Es gibt eine leichte Verzögerung, bevor es wieder erscheint. Gibt es eine Terminaleinstellung, die ich ändern kann, sodass das Dock sofort angezeigt wird, wenn ich meine Maus an den unteren Bildschirmrand bewege? Ich mag, wie die Dinge funktionieren, möchte aber das Timing optimieren.