Ubuntu
gnome-panel package

  1. Bug #387518
  2. Comment #1

Comment 1 for bug 387518

Revision history for this message
David Siegel (djsiegel-deactivatedaccount) wrote :

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.