set_tab_label_text


Description:

public void set_tab_label_text (Widget child, string tab_text)

Creates a new label and sets it as the tab label for the page containing child.

Parameters:

this

a `GtkNotebook`

child

the page

tab_text

the label text