WebKit.WebView.get_page_id – webkit2gtk-4.0 Reference Manual

get_page_id

Description:

public uint64 get_page_id ()

Get the identifier of the WebKitWebPage corresponding to the WebView

Parameters:

this

a WebView

Returns:

the page ID of this.


2022 vala-language.org