DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/InspectorView.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 280 matching lines @@
 
     _keyDown: function(event)
     {
         if (!WebInspector.KeyboardShortcut.eventHasCtrlOrMeta(event))
             return;
 
         var keyboardEvent = /** @type {!KeyboardEvent} */ (event);
         // 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) {
                     this.showPanel(panelName);
                     event.consume(true);
                 }
                 return;
             }
         }
 
@@ skipping 183 matching lines @@
             window.addEventListener("scroll", this._onScrollBound, false);
         else
             window.removeEventListener("scroll", this._onScrollBound, false);
 
         WebInspector.VBox.prototype.doResize.call(this);
         this._onScroll();
     },
 
     __proto__: WebInspector.VBox.prototype
 };