[gnome-shell] Ping the active window when using the app menu

[Giovanni Campagna <gcampagna src gnome org>]

commit ebd1bc83c9a23268b5ff2163c23af50b42d7e16a
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Dec 24 18:28:17 2012 +0100

    Ping the active window when using the app menu
    
    Use the new meta_window_check_alive() to verify if the application is
    responding after the user activates an action from the app menu.
    This in particular restores the ability to force quit applications
    from the menu, even if the use a custom GMenu.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=684340

 js/ui/panel.js |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 64a6d43..76bbfb0 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -598,6 +598,11 @@ const AppMenuButton = new Lang.Class({
                 return;
 
             menu = new PopupMenu.RemoteMenu(this.actor, this._targetApp.menu, this._targetApp.action_group);
+            menu.connect('activate', Lang.bind(this, function() {
+                let win = this._targetApp.get_windows()[0];
+                win.check_alive(global.get_current_time());
+            }));
+
         } else {
             if (this.menu.isDummyQuitMenu)
                 return;