The developer reaction to this basic bug is a joke, and is the reason why people are afraid of challenging quality levels offered by monopolies. Taskbar autohide functionality has existed in window managers for over a decade, and Linux can't get it right... Why even support the feature if it doesn't work?
It seems people have given up all together on this issue - out of "choice" perhaps? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/82504 Title: gnome-panel autohides inconsistently To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-panel/+bug/82504/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
