[gnome-shell] viewSelector: Remove shortcut to switch between tabs

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

commit 7d12f47bf87f6a9be6ffe2022646ac3980ec95db
Author: Joost Verdoorn <jpverdoorn gmail com>
Date:   Mon Aug 13 21:50:22 2012 +0200

    viewSelector: Remove shortcut to switch between tabs
    
    We no longer have tabs, so it no longer makes sense to keep the shortcut.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=682109

 js/ui/viewSelector.js |   33 +--------------------------------
 1 files changed, 1 insertions(+), 32 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 3e1ec37..9fa4762 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -493,29 +493,6 @@ const ViewSelector = new Lang.Class({
         this._showAppsButton.checked = false;
     },
 
-    _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;
-            }
-    },
-
     _onStageKeyPress: function(actor, event) {
         let modifiers = event.get_state();
         let symbol = event.get_key_symbol();
@@ -530,15 +507,7 @@ const ViewSelector = new Lang.Class({
                    (symbol == Clutter.BackSpace && this._searchTab.active)) {
             this._searchTab.startSearch(event);
         } else if (!this._searchTab.active) {
-            if (modifiers & Clutter.ModifierType.CONTROL_MASK) {
-                if (symbol == Clutter.Page_Up) {
-                    this._prevTab();
-                    return true;
-                } else if (symbol == Clutter.Page_Down) {
-                    this._nextTab();
-                    return true;
-                }
-            } else if (symbol == Clutter.Tab) {
+            if (symbol == Clutter.Tab) {
                 this._activeTab.page.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);
                 return true;
             } else if (symbol == Clutter.ISO_Left_Tab) {