Thanks for reporting this. I added an upstream task to keep track of the upstream bug report.
** Bug watch added: GNOME Bug Tracker #134563 http://bugzilla.gnome.org/show_bug.cgi?id=134563 ** Also affects: gnome-panel (upstream) via http://bugzilla.gnome.org/show_bug.cgi?id=134563 Importance: Unknown Status: Unknown -- Doesn't autohide on context menu close https://launchpad.net/bugs/58179 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
