[gnome-shell] windowMenu: Ping window when activating any menu action

[Florian Müllner <fmuellner src gnome org>]

commit e747fcb16faa7a338494db7a49311bfaff79f49d
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue May 27 17:32:34 2014 +0200

    windowMenu: Ping window when activating any menu action
    
    We do this for actions in the regular app menu, it makes sense to
    do the same for window menu and fallback app menu.

 js/ui/windowMenu.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index b1f8073..395ccfe 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -155,6 +155,10 @@ const WindowMenuManager = new Lang.Class({
 
         this._manager.addMenu(menu);
 
+        menu.connect('activate', function() {
+            window.check_alive(global.get_current_time());
+        });
+
         Main.layoutManager.setDummyCursorGeometry(x, y, 0, 0);
         menu.open(BoxPointer.PopupAnimation.NONE);
         menu.actor.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);