Qualche giorno fa ho deciso di reinstallare OS X (mi sentivo in clima di pulizie primaverili) e, come sempre, una delle prime opzioni che sono andato a modificare è stata l'auto-hide del Dock. A quel punto mi è venuto in mente come non sia possibile ottenere un risultato...