We're closing this bug since it is has been some time with no response
from the original reporter. However, if the issue still exists please
feel free to reopen with the requested information. Also, if you could,
please test against the latest development version of Ubuntu, since this
confirms th
Thank you for your bug report. The issue is an upstream one and it would
be nice if somebody having it could send the bug the to the people
writting the software (https://wiki.ubuntu.com/Bugs/Upstream/GNOME)
** Changed in: gnome-panel (Ubuntu)
Importance: Undecided => Low
--
Auto-hidden panel