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,