set_menu_label_text

Description:

public void set_menu_label_text (Widget child, string menu_text)

Creates a new label and sets it as the menu label of child.

Parameters:

this

a `GtkNotebook`
child

the child widget
menu_text

the label text