[gnome-shell] windowManager: Hide overview on using hotkey

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

commit 2b2a71832aed06bd34871974a1a9f365bb2bbb6b
Author: Nishal Kulkarni <nishalkulkarni gmail com>
Date:   Sat May 8 15:58:06 2021 +0530

    windowManager: Hide overview on using hotkey
    
    Change behavior on pressing Super+Number in Activities/Overview mode
    so that the overview mode is hidden and application can be used.
    
    This makes it consistent with clicking icon in the dash.
    
    Closes: #4212
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1839>

 js/ui/windowManager.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 34c54b61e1..5a3327b1bc 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1714,8 +1714,10 @@ var WindowManager = class {
         let [, , , target] = binding.get_name().split('-');
         let apps = AppFavorites.getAppFavorites().getFavorites();
         let app = apps[target - 1];
-        if (app)
+        if (app) {
+            Main.overview.hide();
             app.activate();
+        }
     }
 
     _toggleAppMenu() {