[gnome-shell-extensions/wip/rstrode/heads-up-display: 22/62] apps-menu: Hide overview when launching app
- From: Ray Strode <halfline src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/wip/rstrode/heads-up-display: 22/62] apps-menu: Hide overview when launching app
- Date: Thu, 26 Aug 2021 19:31:30 +0000 (UTC)
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) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]