| Top | Description | Object Hierarchy | Signals | |
|
|
|
struct WebKitWebExtension; void (*WebKitWebExtensionInitializeFunction) (WebKitWebExtension *extension); void (*WebKitWebExtensionInitializeWithUserDataFunction) (WebKitWebExtension *extension,const GVariant *user_data); WebKitWebPage * webkit_web_extension_get_page (WebKitWebExtension *extension,guint64 page_id);
void (*WebKitWebExtensionInitializeFunction)
(WebKitWebExtension *extension);
Type definition for a function that will be called to initialize the web extension when the web process starts.
|
a WebKitWebExtension |
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().
|
a WebKitWebExtension |
|
a GVariant |
Since 2.4
WebKitWebPage * webkit_web_extension_get_page (WebKitWebExtension *extension,guint64 page_id);
Get the web page of the given page_id.
|
a WebKitWebExtension |
|
the identifier of the WebKitWebPage to get |
Returns : |
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) : Run Last
This signal is emitted when a new WebKitWebPage is created in the Web Process.
|
the WebKitWebExtension on which the signal is emitted |
|
the WebKitWebPage created |
|
user data set when the signal handler was connected. |