That looks like http://bugzilla.gnome.org/show_bug.cgi?id=128412
upstream then
** Changed in: gnome-panel (Ubuntu)
Status: Needs Info => Confirmed
** Bug watch added: GNOME Bug Tracker #128412
http://bugzilla.gnome.org/show_bug.cgi?id=128412
** Also affects: gnome-panel (upstream) via
http://bugzilla.gnome.org/show_bug.cgi?id=128412
Importance: Unknown
Status: Unknown
--
gnome-panel autohides inconsistently
https://launchpad.net/bugs/82504
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
