centered-cinnamon-dock: hide actor when hiding dock and no active menus, fix dock occupying screen area after hiding#1099

Dodothereal wants to merge 1 commit into

linuxmint:masterlinuxmint/cinnamon-spices-extensions:masterfrom

Dodothereal:fix/1098-dock-still-occupy-screen-area-after-hidiDodothereal/cinnamon-spices-extensions:fix/1098-dock-still-occupy-screen-area-after-hidiCopy head branch name to clipboard