diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2014-05-27 17:32:34 +0200 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2014-05-27 19:49:05 +0200 |
| commit | e747fcb16faa7a338494db7a49311bfaff79f49d (patch) | |
| tree | b73bc87c2997be0fa8f7d7d1d24c50a2294b6d95 /js/ui/windowMenu.js | |
| parent | a72a24ebff603bc4746cde50f7593fc85d786298 (diff) | |
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.
Diffstat (limited to 'js/ui/windowMenu.js')
| -rw-r--r-- | 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 b1f80737..395ccfe7 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); |