From 7d12f47bf87f6a9be6ffe2022646ac3980ec95db Mon Sep 17 00:00:00 2001
From: Joost Verdoorn <jpverdoorn@gmail.com>
Date: Mon, 13 Aug 2012 21:50:22 +0200
Subject: [PATCH] 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 file changed, 1 insertion(+), 32 deletions(-)

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 3e1ec3728..9fa47629e 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) {