get_page
Description:
public unowned WebPage get_page (
uint64 page_id)
Get the web page of the given page_id.
Parameters:
| this |
a WebExtension
|
| page_id |
the identifier of the WebPage to get
|
Returns:
|
the WebPage for the given page_id, or
null if the identifier doesn't correspond to an existing web page.
|