Hacker News new | ask | show | jobs
by lowdude 59 days ago
I have the dock on auto-hide with a fairly slow timer for it to pop up, as I never actually use it. May be useful to you as well