diff options
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); |