** Bug 41713 has been marked a duplicate of this bug -- "Show the panel menu" keystroke should hide the menu if open https://launchpad.net/bugs/38343
-- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
