WebKit.WebExtension.page_created – webkit2gtk-web-extension-5.0 Reference Manual

page_created

Description:

public signal void page_created (WebPage web_page)

This signal is emitted when a new WebPage is created in the Web Process.

Parameters:

web_page

the WebPage created

Generated by valadoc