[gnome-shell] windowManager: Ignore auto-repeat activation of toggle keybindigs

[Florian Müllner <fmuellner src gnome org>]

commit ce4c485f34f6d202eec9ce43a62b7c4c6124186a
Author: Andrea Azzarone <andrea azzarone canonical com>
Date:   Fri Jun 22 14:23:31 2018 +0200

    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,