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

@@ -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());