From e747fcb16faa7a338494db7a49311bfaff79f49d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 27 May 2014 17:32:34 +0200
Subject: [PATCH] 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 file changed, 4 insertions(+)

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index b1f807373..395ccfe73 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);