DevTools: restore shortcuts to switch devtool panel left/right

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
index 5cc3500b8836651b514b9bbb49d4297b2c7eb082..5db2c8d97c15067f9bff53d106b2a79a118be8b0 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -333,6 +333,26 @@ UI.TabbedPane = class extends UI.VBox {
     return true;
   }
 
+  selectNextTab() {
+    for (var i = 0; i < this._tabs.length; ++i) {
+      if (this._tabs[i] === this._currentTab) {

[caseq, 2017/01/23 22:48:27]

this._tabs.indexOf(this._currentTab)

+        var nextIndex = (i + 1) % this._tabs.length;

[caseq, 2017/01/23 22:48:27]

let's extract this to a parameter.

+        this.selectTab(this._tabs[nextIndex].id, true);
+        break;
+      }
+    }
+  }
+
+  selectPrevTab() {
+    for (var i = 0; i < this._tabs.length; ++i) {
+      if (this._tabs[i] === this._currentTab) {
+        var prevIndex = (i - 1 + this._tabs.length) % this._tabs.length;
+        this.selectTab(this._tabs[prevIndex].id, true);
+        break;
+      }
+    }
+  }
+
   /**
    * @param {number} tabsCount
    * @return {!Array.<string>}