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>
This commit is contained in:
Nishal Kulkarni 2021-05-08 15:58:06 +05:30 committed by Marge Bot
parent 234024c4f4
commit 2b2a71832a

View File

@ -1714,9 +1714,11 @@ 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() {
Main.panel.toggleAppMenu();