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