This does not affect the usability of the default Ubuntu experience,
which does not use panels configured to auto-hide.
It is a great bug that could improve usability of GNOME Panel, though.
** Changed in: hundredpapercuts
Status: New => Invalid
--
The auto-hide default settings of the gnome-panel are cumbersome, making the
panel look sluggish and uncomfortable
https://bugs.launchpad.net/bugs/387518
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
