That's the login animation, not related to the auto-hide setting. It's
there by design to avoid at least two bugs:
* Dock overlaps top bar during login;
* Dock makes the login animation stutter heavily.
So on login, this isn't a bug. For unlocking the screen, this is a bug.
And actually a
** Package changed: ubuntu => gnome-shell-extension-ubuntu-dock (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1947149
Title:
dock auto-hide off but hidden on login
To manage notifications
Thank you for taking the time to report this bug and helping to make
Ubuntu better. It seems that your bug report is not filed about a
specific source package though, rather it is just filed against Ubuntu
in general. It is important that bug reports be filed about source
packages so that people
