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.