Hacker News new | ask | show | jobs
by amatecha 1958 days ago
Cmd-Opt-D to show/hide Dock btw, if you didn't know that. Can be handy to know for those weird cases where it's not showing/hiding as it should. May or may not help with this particular case you're seeing though, but give it a try!