| 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 dc4815df7ac7cc9a4db735fe1dfab17958392b25..ba2db8fde5600b68e726e0ab602b7b348c1a1729 100644
|
| --- a/third_party/WebKit/public/web/WebLocalFrame.h
|
| +++ b/third_party/WebKit/public/web/WebLocalFrame.h
|
| @@ -182,6 +182,11 @@ public:
|
| virtual void requestExecuteScriptAndReturnValue(const WebScriptSource&,
|
| bool userGesture, WebScriptExecutionCallback*) = 0;
|
|
|
| + // Requests execution of the given function, but allowing for script
|
| + // suspension and asynchronous execution.
|
| + virtual void requestExecuteV8Function(
|
| + v8::Local<v8::Function>, v8::Local<v8::Value> receiver, int argc, v8::Local<v8::Value> argv[], WebScriptExecutionCallback*) = 0;
|
| +
|
| // worldID must be > 0 (as 0 represents the main world).
|
| // worldID must be < EmbedderWorldIdLimit, high number used internally.
|
| virtual void requestExecuteScriptInIsolatedWorld(
|
|
|