[gnome-shell] gdm: allow user to switch VTs 8 through 12

[Ray Strode <halfline src gnome org>]

commit a71ab9abb233a2ca38998e3ac59615e06749596d
Author: Ray Strode <rstrode redhat com>
Date:   Thu Feb 19 14:39:26 2015 -0500

    gdm: allow user to switch VTs 8 through 12
    
    mutter now supports keybindings for VTs 8 through 12.
    
    This commit makes them work from the login screen.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=744800

 js/ui/windowManager.js |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 45edf3a..1319fbb 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -659,6 +659,11 @@ const WindowManager = new Lang.Class({
         this.allowKeybinding('switch-to-session-5', Shell.ActionMode.ALL);
         this.allowKeybinding('switch-to-session-6', Shell.ActionMode.ALL);
         this.allowKeybinding('switch-to-session-7', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-8', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-9', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-10', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-11', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-12', Shell.ActionMode.ALL);
 
         this.setCustomKeybindingHandler('switch-to-workspace-left',
                                         Shell.ActionMode.NORMAL |