It appears the problem is not what I thought. The same unlock bug exists
upstream too in https://github.com/micheleg/dash-to-dock
What's happening with Dash-to-dock at least is that gnome-shell is
completely disabling (destroying) extensions when it locks the screen,
and then reloading them when it unlocks the screen. So sliding in with
the startup animation is actually correct behaviour, even if annoying :(
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Triaged => In Progress
--
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 screen unlock
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1947149/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
