Prev
GtkNotebook::set_menu_label
Next
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()