Always show panel if a menu is open on it#11779

clefebvre merged 5 commits into

linuxmint:masterlinuxmint/cinnamon:masterfrom

Gr3q:show-panel-if-menu-openGr3q/cinnamon:show-panel-if-menu-openCopy head branch name to clipboard