set_menu_label

Description:

public void set_menu_label (Widget child, Widget? menu_label)

Changes the menu label for the page containing child.

this	a `GtkNotebook`
child	the child widget
menu_label	the menu label, or null for default