diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js index a31482131..1f26eb4c0 100644 --- a/js/ui/windowMenu.js +++ b/js/ui/windowMenu.js @@ -200,6 +200,10 @@ const WindowMenuManager = new Lang.Class({ menu.connect('activate', function() { window.check_alive(global.get_current_time()); }); + let destroyId = window.connect('unmanaged', + function() { + menu.close(); + }); this._sourceActor.set_size(rect.width, rect.height); this._sourceActor.set_position(rect.x, rect.y); @@ -213,6 +217,7 @@ const WindowMenuManager = new Lang.Class({ this._sourceActor.hide(); menu.destroy(); + window.disconnect(destroyId); })); } });