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

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

commit 1877a2e00a98166a33f0fbc28ecf1d3adf8798b3
Author: Andrea Azzarone <andrea azzarone canonical com>
Date:   Fri Jun 22 12:20:44 2018 +0000

    viewSelector: Ignore auto-repeat activation of toggle keybindigs
    
    Use Meta.KeyBindingFlags.IGNORE_AUTOREPEAT for toggle-application-view
    and toggle-application-view keybindings.
    
    Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/373

 js/ui/viewSelector.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 91bc222cf..2d5c33f4d 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -230,14 +230,14 @@ var ViewSelector = new Lang.Class({
 
         Main.wm.addKeybinding('toggle-application-view',
                               new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }),
-                              Meta.KeyBindingFlags.NONE,
+                              Meta.KeyBindingFlags.IGNORE_AUTOREPEAT,
                               Shell.ActionMode.NORMAL |
                               Shell.ActionMode.OVERVIEW,
                               this._toggleAppsPage.bind(this));
 
         Main.wm.addKeybinding('toggle-overview',
                               new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }),
-                              Meta.KeyBindingFlags.NONE,
+                              Meta.KeyBindingFlags.IGNORE_AUTOREPEAT,
                               Shell.ActionMode.NORMAL |
                               Shell.ActionMode.OVERVIEW,
                               Main.overview.toggle.bind(Main.overview));