This maybe a stupid question, with easy fix. But I searching around to no avail.
I'm unable to change docky configuration, I tried opening the docky setting on the dock, but the option to make it hide was grayed out.
How would I modify the option ? Or is the Docky project really dead, before Docky I'm using Plank but it doesn't have animation. If Plank has animation, I would stay with that.
FYI: I install it with
sudo apt install docky