GtkNotebook::set_tab_label_text

void set_tab_label_text(GtkWidget child, string tab_text);

Creates a new GtkLabel with tab_text as the label and sets it as the tab label widget for child.

See also: set_tab_label()