GtkNotebook::set_menu_label_text

void set_menu_label_text(GtkWidget child, string menu_text);

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

See also: get_menu_label_text()