set_page_title


Description:

[ 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.

Parameters:

this

a Assistant

page

a page of this

title

the new title for page