| Index: third_party/WebKit/Source/core/inspector/browser_protocol.json
|
| diff --git a/third_party/WebKit/Source/core/inspector/browser_protocol.json b/third_party/WebKit/Source/core/inspector/browser_protocol.json
|
| index 358504ae9c970712781a22411a33939d98f4093d..d3c667666755104a5da55d5ae0c439f0a085e2d3 100644
|
| --- a/third_party/WebKit/Source/core/inspector/browser_protocol.json
|
| +++ b/third_party/WebKit/Source/core/inspector/browser_protocol.json
|
| @@ -812,12 +812,19 @@
|
| },
|
| {
|
| "name": "setVirtualTimePolicy",
|
| - "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy.",
|
| + "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy. Note this supersedes any previous time budget.",
|
| "parameters": [
|
| - { "name": "policy", "$ref": "VirtualTimePolicy" }
|
| + { "name": "policy", "$ref": "VirtualTimePolicy" },
|
| + { "name": "budget", "type": "integer", "optional": true, "description": "If set, after this many virtual milliseconds have elapsed virtual time will be paused and a virtualTimeBudgetExpired event is sent." }
|
| ],
|
| "hidden": true
|
| }
|
| + ],
|
| + "events": [
|
| + {
|
| + "name": "virtualTimeBudgetExpired",
|
| + "description": "Notification sent after the virual time budget for the current VirtualTimePolicy has run out."
|
| + }
|
| ]
|
| },
|
| {
|
|
|