DevTools: Handle the F8 shortcut forwarded from the inspected page

Source/devtools/front_end/InspectorFrontendAPI.js

Index: Source/devtools/front_end/InspectorFrontendAPI.js
diff --git a/Source/devtools/front_end/InspectorFrontendAPI.js b/Source/devtools/front_end/InspectorFrontendAPI.js
index 62fcc4c614c79f1078c4f413c73ec3922b1ceb3b..b6ed5c53b701d78200e58ee4bffc6769196b584f 100644
--- a/Source/devtools/front_end/InspectorFrontendAPI.js
+++ b/Source/devtools/front_end/InspectorFrontendAPI.js
@@ -181,6 +181,16 @@ var InspectorFrontendAPI = {
     },
 
     /**
+     * @param {!InspectorFrontendAPI.ForwardedKeyboardEvent} event
+     */
+    keyEventUnhandled: function(event)
+    {
+        InspectorFrontendAPI._runOnceLoaded(function() {
+            WebInspector.forwardedEventHandler.keyEventReceived(event.type, event.keyIdentifier, event.keyCode, event.modifiers);
+        });
+    },
+
+    /**
      * @param {string} url
      */
     savedURL: function(url)
@@ -272,6 +282,9 @@ var InspectorFrontendAPI = {
     }
 }
 
+/** @typedef {!Object.<{type: string, keyCode: (number|undefined), keyIdentifier: (string|undefined), modifiers: (number|undefined)}>} */
+InspectorFrontendAPI.ForwardedKeyboardEvent;
+
 function onMessageFromOpener(event)
 {
     if (event.source === window.opener)