set_page_title

Description:

public void set_page_title (Widget page, string title)

Sets a title for page.

Note:

This widget will be removed in GTK 5

The title is displayed in the header area of the assistant when page is the current page.