| Index: Source/devtools/front_end/ExtensionServer.js
|
| diff --git a/Source/devtools/front_end/ExtensionServer.js b/Source/devtools/front_end/ExtensionServer.js
|
| index fd14c15f418bdb08deb341701655e43f172641a2..7d282022d56558ff10234059d793911c8f0b232d 100644
|
| --- a/Source/devtools/front_end/ExtensionServer.js
|
| +++ b/Source/devtools/front_end/ExtensionServer.js
|
| @@ -580,7 +580,7 @@ WebInspector.ExtensionServer.prototype = {
|
| // and initKeyboardEvent methods and overriding these in externs.js does not have effect.
|
| var event = new window.KeyboardEvent(message.eventType, {
|
| keyIdentifier: message.keyIdentifier,
|
| - keyLocation: message.keyLocation,
|
| + location: message.location,
|
| ctrlKey: message.ctrlKey,
|
| altKey: message.altKey,
|
| shiftKey: message.shiftKey,
|
|
|