Bug#720354: gnome-panel: keybindings/media-key do not work when star-menu or a context menu is open

[Les Schaffer]

i am having same problem, after dist-upgrade yesterday (i am also debian
unstable).  i can dismiss the menu by reclicking it, but nothing in the
menu responds.

additionally, when mouse goes to upper left corner, or one clicks on the
Activities menu, gnome-panel becomes completely unresponsive and need to
do service gdm3 restart.

i see this in ~/.xsession-errors each time i click in gnome-panel:



      JS LOG: pushModal: invocation of begin_modal failed
Window manager warning: Log level 8: meta_end_modal_for_plugin:
assertion `compositor->modal_plugin == plugin' failed
    JS ERROR: !!!   Exception in callback for signal: open-state-changed
    JS ERROR: !!!     message = '"incorrect pop"'
    JS ERROR: !!!     fileName = '"/usr/share/gnome-shell/js/ui/main.js"'
    JS ERROR: !!!     lineNumber = '767'
    JS ERROR: !!!     stack = '"popModal([object
GObject_Object])@/usr/share/gnome-shell/js/ui/main.js:767
()@/usr/share/gnome-shell/js/ui/popupMenu.js:2127
wrapper()@/usr/share/gjs-1.0/lang.js:213
([object Object],false)@/usr/share/gnome-shell/js/ui/popupMenu.js:2163
wrapper([object Object],false)@/usr/share/gjs-1.0/lang.js:213
_emit("open-state-changed",false)@/usr/share/gjs-1.0/signals.js:124
(true)@/usr/share/gnome-shell/js/ui/popupMenu.js:1259
wrapper(true)@/usr/share/gjs-1.0/lang.js:213
()@/usr/share/gnome-shell/js/ui/popupMenu.js:1154
wrapper()@/usr/share/gjs-1.0/lang.js:213
([object GObject_Object],[object
GObject_Union])@/usr/share/gnome-shell/js/ui/panelMenu.js:152
wrapper([object GObject_Object],[object
GObject_Union])@/usr/share/gjs-1.0/lang.js:213
"'