| WebKit2GTK+ Reference Manual | ||||
|---|---|---|---|---|
| Top | Description | Object Hierarchy | Signals | ||||
struct WebKitWebExtension; void (*WebKitWebExtensionInitializeFunction) (WebKitWebExtension *extension); 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 |
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. |