[Bug 82504] Re: gnome-panel autohides inconsistently

[Sebastien Bacher]

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