From b158e9676d92e10f5b1009b197b00b82f56d2a80 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 3 Jun 2021 20:12:35 +0200
Subject: [PATCH] main: Stop handling old 'panel-main-menu' shortcut

It's a shortcut from the GNOME 2 days that few users will remember.
And if anyone really wants to keep it, they can use Settings to
assign <Alt>F1 to 'toggle-overview'.

https://discourse.gnome.org/t/difference-between-show-the-overview-and-show-the-activities-overview-keyboard-shortcuts/6572

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1871>
---
 js/ui/main.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index 549ecedd8..c7bac11f2 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -106,10 +106,6 @@ function _sessionUpdated() {
     if (sessionMode.isPrimary)
         _loadDefaultStylesheet();
 
-    wm.setCustomKeybindingHandler('panel-main-menu',
-                                  Shell.ActionMode.NORMAL |
-                                  Shell.ActionMode.OVERVIEW,
-                                  sessionMode.hasOverview ? overview.toggle.bind(overview) : null);
     wm.allowKeybinding('overlay-key', Shell.ActionMode.NORMAL |
                                       Shell.ActionMode.OVERVIEW);