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 no

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!