Automatically hide and show the dock is greyed out, how to reactivate the option?
I have run into a solution, thanks to idownloadblog
just put the code below into terminal
defaults write com.apple.dock autohide -bool true

It overrides the setting in preference