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