Thank you for taking the time to report this bug and helping to make Ubuntu better. Please execute the following command only once, as it will automatically gather debugging information, in a terminal:
apport-collect 1813212 When reporting bugs in the future please use apport by using 'ubuntu- bug' and the name of the package affected. You can learn more about this functionality at https://wiki.ubuntu.com/ReportingBugs. ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Incomplete -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1813212 Title: Ubuntu dock auto-hide using mouse is unreliable Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Incomplete Bug description: This is usability bug that exists in Ubuntu starting from 2012 (see this bug report: https://bugs.launchpad.net/ubuntu/+source/unity/+bug/996158) Using mouse with Ubuntu dock auto-hide mode makes the mouse to shift left while pointer stays in place (at the left edge). The effect is your mouse is shifting (every time you try to access the dock) to the left until there is no space on the table and you have to take it up and move to the right. This is very inconvinient and makes usage of the dock unreliable. The issue seems to be caused such a reveal mechanizm when you have to "push" the pointer do the left edge to make dock to re-appear. The faulty behaviour has been introduced in Unity-2D, than copied to Unity than copied to gnome-shell-extension-ubuntu-dock. Currently there is no other option but DO NOT USE THE AUTO HIDE function to avoid frustration. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1813212/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp

