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
This commit is contained in:
Joost Verdoorn 2012-08-13 21:50:22 +02:00 committed by Florian Müllner
parent dff673533d
commit 7d12f47bf8

View File

@ -493,29 +493,6 @@ const ViewSelector = new Lang.Class({
this._showAppsButton.checked = false; 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) { _onStageKeyPress: function(actor, event) {
let modifiers = event.get_state(); let modifiers = event.get_state();
let symbol = event.get_key_symbol(); let symbol = event.get_key_symbol();
@ -530,15 +507,7 @@ const ViewSelector = new Lang.Class({
(symbol == Clutter.BackSpace && this._searchTab.active)) { (symbol == Clutter.BackSpace && this._searchTab.active)) {
this._searchTab.startSearch(event); this._searchTab.startSearch(event);
} else if (!this._searchTab.active) { } else if (!this._searchTab.active) {
if (modifiers & Clutter.ModifierType.CONTROL_MASK) { if (symbol == Clutter.Tab) {
if (symbol == Clutter.Page_Up) {
this._prevTab();
return true;
} else if (symbol == Clutter.Page_Down) {
this._nextTab();
return true;
}
} else if (symbol == Clutter.Tab) {
this._activeTab.page.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false); this._activeTab.page.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);
return true; return true;
} else if (symbol == Clutter.ISO_Left_Tab) { } else if (symbol == Clutter.ISO_Left_Tab) {