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 Desktop Bugs, which is a bug assignee. 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
