| 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 6d1beeed3363daa3d5c7272f51c45cb47efb6448..23bd2401edbd05c5f0ee3e14304287579ce5add6 100644
|
| --- a/third_party/WebKit/public/web/WebLocalFrame.h
|
| +++ b/third_party/WebKit/public/web/WebLocalFrame.h
|
| @@ -249,6 +249,15 @@ class WebLocalFrame : public WebFrame {
|
| v8::Local<v8::Value> argv[],
|
| WebScriptExecutionCallback*) = 0;
|
|
|
| + enum ScriptExecutionType {
|
| + // Execute script synchronously, unless the page is suspended.
|
| + Synchronous,
|
| + // Execute script asynchronously.
|
| + Asynchronous,
|
| + // Execute script asynchronously, blocking the window.onload event.
|
| + AsynchronousBlockingOnload
|
| + };
|
| +
|
| // worldID must be > 0 (as 0 represents the main world).
|
| // worldID must be < EmbedderWorldIdLimit, high number used internally.
|
| virtual void requestExecuteScriptInIsolatedWorld(
|
| @@ -256,6 +265,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
|
|
|