GtkNotebook::set_menu_label

void set_menu_label(GtkWidget child, GtkWidget menu_label);

Sets menu_label as the popup menu label widget for child.

See also: get_menu_label() , set_menu_label_text()