Durch den Apple-Tipp [url=http://www.apple.com/de/pro/tips/movedock.html]Bewegen des Dock mit einem Mausklick[/url] inspiriert habe ich bei allen möglichen gedrückten Tasten auf das Dock eingeklickt und herausgefunden, dass man bei gedrückter Wahltaste eine Rasterung für die Vergrößerung des Docks einschalten kann. So kann man die Größe der Docksymbole mal schnell zwischen beispielsweise 32x32 und 48x48 umschalten.