Top |
void
(*WebKitWebExtensionInitializeFunction)
(WebKitWebExtension *extension
);
Type definition for a function that will be called to initialize the web extension when the web process starts.
void (*WebKitWebExtensionInitializeWithUserDataFunction) (WebKitWebExtension *extension
,const GVariant *user_data
);
Type definition for a function that will be called to initialize
the web extensions when the web process starts, and which receives
as additional argument the user data set with
webkit_web_context_set_web_extensions_initialization_user_data()
.
Since 2.4
WebKitWebPage * webkit_web_extension_get_page (WebKitWebExtension *extension
,guint64 page_id
);
Get the web page of the given page_id
.
the WebKitWebPage for the given page_id
, or NULL
if the
identifier doesn't correspond to an exsiting web page.
[transfer none]
“page-created”
signalvoid user_function (WebKitWebExtension *extension, WebKitWebPage *web_page, gpointer user_data)
This signal is emitted when a new WebKitWebPage is created in the Web Process.
extension |
the WebKitWebExtension on which the signal is emitted |
|
web_page |
the WebKitWebPage created |
|
user_data |
user data set when the signal handler was connected. |
Flags: Run Last