I wonder if this could be solved in a more general way by introducing a autohide timeout to gnome-panel. When you are using the panel, it's a very active operation. So even if the mouse cursor ends up resting on the panel when you return to using the application (such as typing in a console or word document) chances are you want the panel to hide (assuming you use this proposed setting).
In short, I think the panel should have a setting that makes it aggressively close by having an inactivity timeout. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/58179 Title: Doesn't autohide on context menu close -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
