[gnome-shell] Add Ctrl+PageUp/PageDown key shortcuts for switching tabs

[Jasper St. Pierre <jstpierre src gnome org>]

commit a69ebc8a68e52ffcf1b746b3be15cc619c8b1110
Author: Jason Siefken <siefkenj gmail com>
Date:   Thu Oct 20 20:48:50 2011 -0700

    Add Ctrl+PageUp/PageDown key shortcuts for switching tabs
    
    https://bugzilla.gnome.org/show_bug.cgi?id=652223

 js/ui/lookingGlass.js |   19 +++++++++++++++++++
 1 files changed, 19 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/lookingGlass.js b/js/ui/lookingGlass.js
index 6ac5247..13ec758 100644
--- a/js/ui/lookingGlass.js
+++ b/js/ui/lookingGlass.js
@@ -151,6 +151,16 @@ Notebook.prototype = {
             return;
         let vAdjust = tabData.scrollView.vscroll.adjustment;
         vAdjust.value = vAdjust.upper - vAdjust.page_size;
+    },
+
+    nextTab: function() {
+            let nextIndex = this._selectedIndex < this._tabs.length - 1 ? this._selectedIndex + 1 : this._selectedIndex;
+            this.selectIndex(nextIndex);
+    },
+
+    prevTab: function() {
+            let nextIndex = this._selectedIndex > 0 ? this._selectedIndex - 1 : 0;
+            this.selectIndex(nextIndex);
     }
 };
 Signals.addSignalMethods(Notebook.prototype);
@@ -995,6 +1005,7 @@ LookingGlass.prototype = {
     // Handle key events which are relevant for all tabs of the LookingGlass
     _globalKeyPressEvent : function(actor, event) {
         let symbol = event.get_key_symbol();
+        let modifierState = Shell.get_event_state(event);
         if (symbol == Clutter.Escape) {
             if (this._objInspector.actor.visible) {
                 this._objInspector.close();
@@ -1003,6 +1014,14 @@ LookingGlass.prototype = {
             }
             return true;
         }
+        // Ctrl+PgUp and Ctrl+PgDown switches tabs in the notebook view
+        if (modifierState & Clutter.ModifierType.CONTROL_MASK) {
+            if (symbol == Clutter.KEY_Page_Up) {
+                this._notebook.nextTab();
+            } else if (symbol == Clutter.KEY_Page_Down) {
+                this._notebook.prevTab();
+            }
+        }
         return false;
     },