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