DevTools extensions: forward keyboard shortcuts to DevTools

Source/devtools/front_end/externs.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 28 matching lines @@
 console.trace = function() {}
 
 /** @param {boolean=} param */
 Element.prototype.scrollIntoViewIfNeeded = function(param) {}
 /** @type {boolean} */
 Event.prototype.isMetaOrCtrlForTest = false;
 /** @param {...*} vararg */
 Event.prototype.initWebKitWheelEvent = function(vararg) {}
 Event.prototype.stopImmediatePropagation = function() {}
 
+/**
+ * @constructor
+ * @extends {KeyboardEvent}
+ * @param {string} eventType
+ * @param {Object=} properties
+ */
+window.KeyboardEvent = function(eventType, properties) {}
+
 /** @param {Element} element */
 window.getComputedStyle = function(element) {}
 /** @param {*} message */
 function postMessage(message) {}
 
 /** @type {*} */
 window.testRunner = null;
 
 /**
  * @constructor
@@ skipping 424 matching lines @@
 
 WebInspector.settings.continuousPainting = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showDebugBorders = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showScrollBottleneckRects = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.forceCompositingMode = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showFPSCounter = /** type {WebInspector.Setting} */ { }
 WebInspector.settings.showPaintRects = /** type {WebInspector.Setting} */ { }
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;