linuxmint/Cinnamon — pull request #260 by Dreckr (2012-01-29 20:37:08+00:00)
Title: Fix for issue #235

Now the panel don't hide while a menu is opened.