La maggior parte delle persone ha visto la modifica del Terminale per modificare la durata del Dock di Nascondere / mostrare in Come posso rendere più rapido l'auto-hide / show per il dock? , ma mi chiedevo se qualcuno ha trovato come impostare ciascuno di questi a velocità diverse. Ad esempio, 0 secondi di ritardo per il Dock da mostrare al passaggio del mouse, ma 1 secondo perché si nascondano automaticamente.
Puoi modificare due valori per il Dock quando si tratta della velocità di animazione:
autohide-delay
# Dock autohide delay set to 0 seconds, the default should be around 1.0
defaults write com.apple.dock autohide-delay -float 0
autohide-tempo-modificatore
# Dock animation duration to show/hide the Dock
defaults write com.apple.dock autohide-time-modifier -float 0
Imposta il primo valore su 0 e il secondo su 1.0 per ottenere il risultato. Tuttavia, non è possibile impostare durate separate per il ritardo Nascondi e il ritardo dello spettacolo.