** 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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs