[gnome-shell-extensions/wip/rstrode/heads-up-display: 22/62] apps-menu: Hide overview when launching app

[Ray Strode <halfline src gnome org>]

commit 52e24a5be501da8ff687aeb9789d499734583856
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jun 7 20:07:19 2019 +0000

    apps-menu: Hide overview when launching app
    
    Now that we no longer hide the overview when the menu is opened,
    it is possible to activate menu entries from the overview. Start
    hiding the overview in that case, which is consistent with app
    launching elsewhere.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/69

 extensions/apps-menu/extension.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 1e2882b..3dbe43f 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -66,6 +66,8 @@ class ApplicationMenuItem extends PopupMenu.PopupBaseMenuItem {
         this._button.selectCategory(null);
         this._button.menu.toggle();
         super.activate(event);
+
+        Main.overview.hide();
     }
 
     setActive(active, params) {