GtkNotebook::set_menu_label_text

void set_menu_label_text(GtkWidget child, string menu_text);

Creates a new GtkLabel with menu_text as its label text and sets it as child's popup menu label.