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”.

Parameters:

this

a `GtkNotebook`
child

the page
tab_label

the tab label widget to use, or null for default tab label