when hiding is turned on for the Dock, are there any hidden settings where I can adjust the speediness of it hiding and showing? for example, can I set it to hide after my mouse has left the Dock after .5 seconds, but set it to show only after my mouse has been on the Dock area for 1 second?
I know this is possible to do with various third-party dock applications but I'd really like to just use the built-in dock for this.