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..bc6b3bf67fed99799cbb31c02f16cc8a22eda873 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,18 @@ UI.TabbedPane = class extends UI.VBox {
     return true;
   }
 
+  selectNextTab() {
+    var index = this._tabs.indexOf(this._currentTab);
+    var nextIndex = mod(index + 1, this._tabs.length);
+    this.selectTab(this._tabs[nextIndex].id, true);
+  }
+
+  selectPrevTab() {
+    var index = this._tabs.indexOf(this._currentTab);
+    var nextIndex = mod(index - 1, this._tabs.length);
+    this.selectTab(this._tabs[nextIndex].id, true);
+  }
+
   /**
    * @param {number} tabsCount
    * @return {!Array.<string>}