DevTools: restore shortcuts to switch devtool panel left/right

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

Index: third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js b/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
index 51292fb948ea6522f66e0aad41934a33f9e05622..c9646325538c6d41b180698249f8d6bdc410ac3d 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
@@ -225,11 +225,14 @@ UI.InspectorView = class extends UI.VBox {
     return this._drawerSplitWidget.isSidebarMinimized();
   }
 
+  /**
+   * @param {!Event} event
+   */
   _keyDown(event) {
-    if (!UI.KeyboardShortcut.eventHasCtrlOrMeta(event))
+    var keyboardEvent = /** @type {!KeyboardEvent} */ (event);
+    if (!UI.KeyboardShortcut.eventHasCtrlOrMeta(keyboardEvent))
       return;
 
-    var keyboardEvent = /** @type {!KeyboardEvent} */ (event);
     // Ctrl/Cmd + 1-9 should show corresponding panel.
     var panelShortcutEnabled = Common.moduleSetting('shortcutPanelSwitch').get();
     if (panelShortcutEnabled && !event.shiftKey && !event.altKey) {
@@ -249,6 +252,16 @@ UI.InspectorView = class extends UI.VBox {
         }
       }
     }
+
+    if (event.key === '[') {

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

else if, or return from previous.

+      this._tabbedPane.selectPrevTab();
+      event.consume(true);
+    }
+
+    if (event.key === ']') {

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

ditto.

+      this._tabbedPane.selectNextTab();
+      event.consume(true);
+    }
   }
 
   /**