From d67077bdf1492e62477def685f8cc293009fdedb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Mon, 23 Jan 2023 17:21:14 +0100 Subject: [PATCH] Remove keyboard shortcut to open the app menu in the panel Now that the app menu indicator is no longer shown, it shouldn't be possible to toggle the popup menu via keyboard shortcut anymore, so remove the code and gsettings definitions for that. Part-of: --- data/50-gnome-shell-system.xml | 3 --- data/org.gnome.shell.gschema.xml.in | 7 ------- js/ui/panel.js | 4 ---- js/ui/windowManager.js | 11 ----------- 4 files changed, 25 deletions(-) diff --git a/data/50-gnome-shell-system.xml b/data/50-gnome-shell-system.xml index 37fd0cd86..1dbb31118 100644 --- a/data/50-gnome-shell-system.xml +++ b/data/50-gnome-shell-system.xml @@ -17,8 +17,5 @@ - - diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in index ff4ccd115..e91a7e3e9 100644 --- a/data/org.gnome.shell.gschema.xml.in +++ b/data/org.gnome.shell.gschema.xml.in @@ -147,13 +147,6 @@ - - ["<Super>F10"] - Keybinding to open the application menu - - Keybinding to open the application menu. - - ["<Super><Alt>Up"] Keybinding to shift between overview states diff --git a/js/ui/panel.js b/js/ui/panel.js index 03551c5ec..3bc04f890 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -594,10 +594,6 @@ class Panel extends St.Widget { indicator.menu.close(); } - toggleAppMenu() { - this._toggleMenu(this.statusArea.appMenu); - } - toggleCalendar() { this._toggleMenu(this.statusArea.dateMenu); } diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 2838664e4..5a577dfed 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -779,13 +779,6 @@ var WindowManager = class { Shell.ActionMode.OVERVIEW, this._startSwitcher.bind(this)); - this.addKeybinding('open-application-menu', - new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), - Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, - Shell.ActionMode.NORMAL | - Shell.ActionMode.POPUP, - this._toggleAppMenu.bind(this)); - this.addKeybinding('toggle-message-tray', new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, @@ -1710,10 +1703,6 @@ var WindowManager = class { } } - _toggleAppMenu() { - Main.panel.toggleAppMenu(); - } - _toggleCalendar() { Main.panel.toggleCalendar(); }