** Changed in: gnome-panel
Status: Unknown => New
--
Menu hotkey Alt+F1 and auto-hide panel do not play well together
https://bugs.launchpad.net/bugs/333406
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.-- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
