WebKit.WebView.page_id – webkit2gtk-4.0 Reference Manual
page_id
Description:
[
Version
( since =
"2.28"
) ]
public
uint64
page_id
{
get
; }
The identifier of the
WebKitWebPage
corresponding to the
WebView
.
2022 vala-language.org