From 1f26dc12e59560c4e98d63fd6f7a5260bff27a64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 3 Jun 2021 20:16:38 +0200 Subject: [PATCH] data: Stop exposing old panel-main-menu shortcut There hasn't been a "panel main menu" for ten years now, and gnome-shell already exports a 'toggle-overview' shortcut for the GNOME 3 replacement. https://discourse.gnome.org/t/difference-between-show-the-overview-and-show-the-activities-overview-keyboard-shortcuts/6572 Part-of: --- data/50-mutter-system.xml | 2 -- 1 file changed, 2 deletions(-) diff --git a/data/50-mutter-system.xml b/data/50-mutter-system.xml index 07da17a89..97452340b 100644 --- a/data/50-mutter-system.xml +++ b/data/50-mutter-system.xml @@ -7,7 +7,5 @@ - -