Hi
I'd like to make the autohide animation a bit smoother.
There are two properties in the DockManager, AutoHideHideSteps and AutoHideShowSteps, which I increased to have less "jumps" when the animation is running. This also increased the time necessary for the hide/show animation, which is unwanted. How can I adjust the time interval of the steps or the total time needed for the animation?