From 9eef6ec44c67f637369a2fcfc8ff9539be3f0b9e Mon Sep 17 00:00:00 2001
From: PhilProg <philroh2008@gmail.com>
Date: Tue, 7 Jun 2022 19:22:54 +0000
Subject: [PATCH] appMenu: Hide overview when pressing on 'Show Details'

If the 'Show Details' in the app menu is pressed, the overview
will hide now, making it consistent with other launch actions.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5279

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2329>
---
 js/ui/appMenu.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/ui/appMenu.js b/js/ui/appMenu.js
index 3ee64bf92..010fdb30e 100644
--- a/js/ui/appMenu.js
+++ b/js/ui/appMenu.js
@@ -88,6 +88,7 @@ var AppMenu = class AppMenu extends PopupMenu.PopupMenu {
                 'org.gtk.Actions', 'Activate',
                 new GLib.Variant('(sava{sv})', ['details', [args], null]),
                 null, 0, -1, null);
+            Main.overview.hide();
         });
 
         this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());