| Index: third_party/WebKit/public/web/WebLocalFrame.h
|
| diff --git a/third_party/WebKit/public/web/WebLocalFrame.h b/third_party/WebKit/public/web/WebLocalFrame.h
|
| index 31919e7d86acd39f19a9f51d9be18175eac62761..4178982550df5913f91a14be9925e9eeef221364 100644
|
| --- a/third_party/WebKit/public/web/WebLocalFrame.h
|
| +++ b/third_party/WebKit/public/web/WebLocalFrame.h
|
| @@ -232,6 +232,15 @@ class WebLocalFrame : public WebFrame {
|
| v8::Local<v8::Value> argv[],
|
| WebScriptExecutionCallback*) = 0;
|
|
|
| + enum ScriptExecutionType {
|
| + // Execute script synchronously if possible.
|
| + Synchronous,
|
| + // Execute script asynchronously.
|
| + Asynchronous,
|
| + // Execute script asynchronously, blocking the window.onload event.
|
| + AsyncBlockingOnload
|
| + };
|
| +
|
| // worldID must be > 0 (as 0 represents the main world).
|
| // worldID must be < EmbedderWorldIdLimit, high number used internally.
|
| virtual void requestExecuteScriptInIsolatedWorld(
|
| @@ -239,6 +248,7 @@ class WebLocalFrame : public WebFrame {
|
| const WebScriptSource* sourceIn,
|
| unsigned numSources,
|
| bool userGesture,
|
| + ScriptExecutionType,
|
| WebScriptExecutionCallback*) = 0;
|
|
|
| // Associates an isolated world with human-readable name which is useful for
|
|
|