msjunk wrote:
Not helpful, there is a reason the dock is there as a part of the UI. This is a bug with the hide and show option that needs to be fixed not ignored or endured.
I understand that many (maybe most) people rely on the Dock, and if it’s not working as designed, that is, by definition, a bug.
Maybe temporarily Command-Option-D helps. This is the default shortcut to toggle Dock visibility.
If it’s hidden then pressing this keyboard shortcut is supposed to unhide it (and conversely).
It is also possible that there is some corruption in the plist file, in which case deleting it would fix things. Now this is inconvenient because it restores Dock to the default, so then you’d have to set it all the way you want, but it is a possibility. But you can store the existing plist aside just in case this doesn’t fix the issue.