Can confirm this bug and I think it's really a bug, not just an "interesting mouse gesture function". For example, you can move the pointer down to make the dock come up and then (quickly) move the pointer up just while the dock comes up. If you try a little you will be able to get something similar: the dock stays up and does not hide.
-- Autohide Not At All -- stays up https://bugs.launchpad.net/bugs/130235 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs