DevTools extensions: forward keyboard shortcuts to DevTools

Source/devtools/front_end/ExtensionAPI.js

 /*
  * Copyright (C) 2012 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 62 matching lines @@
 
     apiPrivate.Commands = {
         AddAuditCategory: "addAuditCategory",
         AddAuditResult: "addAuditResult",
         AddConsoleMessage: "addConsoleMessage",
         AddRequestHeaders: "addRequestHeaders",
         CreatePanel: "createPanel",
         CreateSidebarPane: "createSidebarPane",
         CreateStatusBarButton: "createStatusBarButton",
         EvaluateOnInspectedPage: "evaluateOnInspectedPage",
+        ForwardKeyboardEvent: "_forwardKeyboardEvent",
         GetConsoleMessages: "getConsoleMessages",
         GetHAR: "getHAR",
         GetPageResources: "getPageResources",
         GetRequestContent: "getRequestContent",
         GetResourceContent: "getResourceContent",
         Reload: "Reload",
         Subscribe: "subscribe",
         SetOpenResourceHandler: "setOpenResourceHandler",
         SetResourceContent: "setResourceContent",
         SetSidebarContent: "setSidebarContent",
@@ skipping 624 matching lines @@
 }
 
 /**
  * @constructor
  */
 function TimelineImpl()
 {
     this.onEventRecorded = new EventSink(events.TimelineEventRecorded);
 }
 
+function forwardKeyboardEvent(event)
+{
+    const Esc = "U+001B";
+    // We only care about global hotkeys, not about random text
+    if (!event.ctrlKey && !event.altKey && !event.metaKey && !/^F\d+$/.test(event.keyIdentifier) && event.keyIdentifier != Esc)

[apavlov, 2013/07/09 06:51:59]

!==

+        return;
+    var request = {
+        command: commands.ForwardKeyboardEvent,
+        eventType: event.type,
+        ctrlKey: event.ctrlKey,
+        altKey: event.altKey,
+        metaKey: event.metaKey,
+        keyIdentifier: event.keyIdentifier,
+        keyLocation: event.keyLocation
+    };
+    extensionServer.sendRequest(request);
+}
+
+document.addEventListener("keydown", forwardKeyboardEvent, false);
+document.addEventListener("keypress", forwardKeyboardEvent, false);
+

[apavlov, 2013/07/09 06:51:59]

Would you want to forward "keyup" as well?

 /**
  * @constructor
  */
 function ExtensionServerClient()
 {
     this._callbacks = {};
     this._handlers = {};
     this._lastRequestId = 0;
     this._lastObjectId = 0;
 
@@ skipping 139 matching lines @@
 {
     return "(function(injectedScriptId){ " +
         "var extensionServer;" +
         defineCommonExtensionSymbols.toString() + ";" +
         injectedExtensionAPI.toString() + ";" +
         buildPlatformExtensionAPI(extensionInfo) + ";" +
         "platformExtensionAPI(injectedExtensionAPI(injectedScriptId));" +
         "return {};" +
         "})";
 }