[gnome-shell] ActivitiesButton: close the dummy menu when activating the button

[Giovanni Campagna <gcampagna src gnome org>]

commit b9d935af0c82bbca68e3cd82554ef0a2c20cef38
Author: Giovanni Campagna <gcampagn redhat com>
Date:   Fri Sep 20 14:09:29 2013 +0200

    ActivitiesButton: close the dummy menu when activating the button
    
    We need to close the menu to make sure that any grabs held by
    the PopupMenuManager are released, and events are properly delivered.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=707852

 js/ui/panel.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 6a2df45..823df43 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -611,6 +611,7 @@ const ActivitiesButton = new Lang.Class({
 
     _onButtonRelease: function() {
         Main.overview.toggle();
+        this.menu.close();
     },
 
     _onKeyRelease: function(actor, event) {