set_tab_label

Description:

public void set_tab_label (Widget child, Widget? tab_label)

Changes the tab label for child.

If null is specified for tab_label, then the page will have the label “page N”.

this	a Notebook
child	the page
tab_label	the tab label widget to use, or null for default tab label