GtkNotebook::set_menu_label

void set_menu_label(GtkWidget child [, GtkWidget menu_label = null]);

Changes the menu label for the page containing child.

See also: get_menu_label()