set_page_title

Description:

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.