[gnome-shell] appMenu: Hide overview when pressing on 'Show Details'

[Marge Bot <marge-bot src gnome org>]

commit 9eef6ec44c67f637369a2fcfc8ff9539be3f0b9e
Author: PhilProg <philroh2008 gmail com>
Date:   Tue Jun 7 19:22:54 2022 +0000

    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 3ee64bf92d..010fdb30e9 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());