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.
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.