DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/InspectorView.js

Index: Source/devtools/front_end/InspectorView.js
diff --git a/Source/devtools/front_end/InspectorView.js b/Source/devtools/front_end/InspectorView.js
index 4e55123d16531acc6d061209c5cea9dd959d5341..7657b60eac1d10a791ae6dacb83071625cfbfabb 100644
--- a/Source/devtools/front_end/InspectorView.js
+++ b/Source/devtools/front_end/InspectorView.js
@@ -298,11 +298,12 @@ WebInspector.InspectorView.prototype = {
         // Ctrl/Cmd + 1-9 should show corresponding panel.
         var panelShortcutEnabled = WebInspector.settings.shortcutPanelSwitch.get();
         if (panelShortcutEnabled && !event.shiftKey && !event.altKey) {
+            var keyCode = event.keyCode || event["__keyCode"] || 0;
             var panelIndex = -1;
-            if (event.keyCode > 0x30 && event.keyCode < 0x3A)
-                panelIndex = event.keyCode - 0x31;
-            else if (event.keyCode > 0x60 && event.keyCode < 0x6A && keyboardEvent.location === KeyboardEvent.DOM_KEY_LOCATION_NUMPAD)
-                panelIndex = event.keyCode - 0x61;
+            if (keyCode > 0x30 && keyCode < 0x3A)
+                panelIndex = keyCode - 0x31;
+            else if (keyCode > 0x60 && keyCode < 0x6A && keyboardEvent.location === KeyboardEvent.DOM_KEY_LOCATION_NUMPAD)
+                panelIndex = keyCode - 0x61;
             if (panelIndex !== -1) {
                 var panelName = this._tabbedPane.allTabs()[panelIndex];
                 if (panelName) {