[ Version ( since = "2.10" ) ]
public void set_page_title (Widget page, string title)
Sets a title for page.
The title is displayed in the header area of the assistant when page is the current page.
| this | |
| page |
a page of this |
| title |
the new title for |