Eu consegui resolver esse problema mesclando algumas correções do desktop cinnaman para o gnome-shell. Como eles resolveram isso foi introduzindo um novo grupo de janelas que irá atuar como o pai para o estágio do shell do gnome e os menus popup são mostrados no topo do grupo de janelas. Isso fará com que o menu pop-up apareça no topo do painel do shell do gnome. As mudanças estão no projeto gnome-shell e no projeto mutter.
Eu documentei as etapas para resolvê-lo em um dos meus posts