If the dock gets confused or you need to reset it to the default settings for any other reason, you can do this through Terminal...
Open Terminal (located in the Utilities folder). Type (or copy and paste) this: defaults delete com.apple.dock; killall Dock Hit return.
I usually write a blog post about once a week. The latest post can be viewed here: No More Nukes?: I can make an argument both ways about whether nuclear weapons are good or bad. (posted 2025-06-23 at 15:02:39). I do podcasts too!. You can listen to my latest podcast, here: OJB's Podcast 2025-05-31 Respect the Flag: Find me a Maori flag and I will burn it..