Sebagian besar orang telah melihat peretasan Terminal untuk mengubah durasi Dock Hide / show di Bagaimana saya bisa membuat auto-hide / show untuk dock lebih cepat? , tapi saya bertanya-tanya apakah ada yang menemukan cara mengatur masing-masing untuk kecepatan yang berbeda. Sebagai contoh, 0 detik penundaan untuk Dock untuk ditampilkan pada mouse melayang, tetapi 1 detik untuk itu untuk autohide lagi.
4