API Version: 4.0
Library Version: 4.2.0
void gtk_notebook_set_menu_label ( GtkNotebook* notebook, GtkWidget* child, GtkWidget* menu_label )
Changes the menu label for the page containing child.
child
GtkWidget
the child widget
menu_label
the menu label, or NULL for default
NULL