From a71ab9abb233a2ca38998e3ac59615e06749596d Mon Sep 17 00:00:00 2001
From: Ray Strode <rstrode@redhat.com>
Date: Thu, 19 Feb 2015 14:39:26 -0500
Subject: [PATCH] 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 file changed, 5 insertions(+)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 45edf3ac2..1319fbbef 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 |