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