Thank you for your bug report. The setting has a description 'the dock hides
when any windows overlap with it', which you didn't try to do in the video you
recorded ... Could you make a new screencast showing what happens when you move
something over the dock?
Could you also add your 'journalctl -b 0' log after triggering the issue?
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => Low
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Incomplete
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1867575
Title:
Dock does not autohide when on the right hand side
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1867575/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
