From ce4c485f34f6d202eec9ce43a62b7c4c6124186a Mon Sep 17 00:00:00 2001 From: Andrea Azzarone Date: Fri, 22 Jun 2018 14:23:31 +0200 Subject: [PATCH] windowManager: Ignore auto-repeat activation of toggle keybindigs Use Meta.KeyBindingFlags.IGNORE_AUTOREPEAT for open-application-menu and toggle-message-tray keybindings. Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/373 --- js/ui/windowManager.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 79c9797d2..36d8a9fb5 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -948,14 +948,14 @@ var WindowManager = new Lang.Class({ this.addKeybinding('open-application-menu', new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), - Meta.KeyBindingFlags.NONE, + 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.NONE, + Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, Shell.ActionMode.NORMAL | Shell.ActionMode.OVERVIEW | Shell.ActionMode.POPUP,