set_menu_label

Description:

public void set_menu_label (Widget child, Widget? menu_label)

Changes the menu label for the page containing child.

Parameters:

this

a `GtkNotebook`
child

the child widget
menu_label

the menu label, or null for default