[gnome-shell/overview-relayout: 9/13] view-selector: Add keyboard shortcut for view switching

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

commit eedfe8d6614b2d8a8ee6d4811179067dcafffb9c
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Oct 4 16:05:32 2010 +0200

    view-selector: Add keyboard shortcut for view switching
    
    As the view selector is a tabbed interface, use the default keyboard
    shortcut of Ctrl-PageUp/PageDown of GtkNotebook for switching between
    views.

 js/ui/viewSelector.js |   34 ++++++++++++++++++++++++++++++++++
 1 files changed, 34 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index de6a6e1..6d5fa60 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -687,6 +687,29 @@ ViewSelector.prototype = {
 
     },
 
+    _nextTab: function() {
+        if (this._tabs.length == 0 ||
+            this._tabs[this._tabs.length - 1] == this._activeTab)
+            return;
+
+        for (let i = 0; i < this._tabs.length; i++)
+            if (this._tabs[i] == this._activeTab) {
+                this._switchTab(this._tabs[i + 1]);
+                return;
+            }
+    },
+
+    _prevTab: function() {
+        if (this._tabs.length == 0 || this._tabs[0] == this._activeTab)
+            return;
+
+        for (let i = 0; i < this._tabs.length; i++)
+            if (this._tabs[i] == this._activeTab) {
+                this._switchTab(this._tabs[i - 1]);
+                return;
+            }
+    },
+
     _getPreferredWidth: function(box, forHeight, alloc) {
         let children = box.get_children();
         for (let i = 0; i < children.length; i++) {
@@ -746,6 +769,7 @@ ViewSelector.prototype = {
         if (focus != stage && focus != this._searchEntry.entry)
             return false;
 
+        let modifiers = Shell.get_event_state(event);
         let symbol = event.get_key_symbol();
         if (symbol == Clutter.Escape) {
                 Main.overview.hide();
@@ -762,6 +786,16 @@ ViewSelector.prototype = {
 
             this.searchResults.selectDown(false);
             return true;
+        } else if (modifiers & Clutter.ModifierType.CONTROL_MASK) {
+            if (symbol == Clutter.Page_Up) {
+                if (!this._searchActive)
+                    this._prevTab();
+                return true;
+            } else if (symbol == Clutter.Page_Down) {
+                if (!this._searchActive)
+                    this._nextTab();
+                return true;
+            }
         }
         return false;
     },