DevTools: Implement batch event forwarding from extension panels

Source/devtools/front_end/KeyboardShortcut.js

Index: Source/devtools/front_end/KeyboardShortcut.js
diff --git a/Source/devtools/front_end/KeyboardShortcut.js b/Source/devtools/front_end/KeyboardShortcut.js
index 6fd14f4b5db81ce6af97b811258c1a0da4a534fe..17897f032fe821b685b7456a4d4ffd452a67e3c1 100644
--- a/Source/devtools/front_end/KeyboardShortcut.js
+++ b/Source/devtools/front_end/KeyboardShortcut.js
@@ -147,7 +147,13 @@ WebInspector.KeyboardShortcut.makeKeyFromEvent = function(keyboardEvent)
         modifiers |= WebInspector.KeyboardShortcut.Modifiers.Alt;
     if (keyboardEvent.metaKey)
         modifiers |= WebInspector.KeyboardShortcut.Modifiers.Meta;
-    return WebInspector.KeyboardShortcut._makeKeyFromCodeAndModifiers(keyboardEvent.keyCode, modifiers);
+
+    function keyCodeForEvent(keyboardEvent)
+    {
+        // Use either a real or a synthetic keyCode (for events originating from extensions).
+        return keyboardEvent.keyCode || keyboardEvent["__keyCode"];
+    }
+    return WebInspector.KeyboardShortcut._makeKeyFromCodeAndModifiers(keyCodeForEvent(keyboardEvent), modifiers);
 }
 
 /**