insert_page_menu
Description:
Insert a page into this at the given position, specifying the widget to use as the label in the popup menu.
Parameters:
this |
a `GtkNotebook` |
child |
the `GtkWidget` to use as the contents of the page |
tab_label |
the `GtkWidget` to be used as the label for the page, or null to use the default label, “page N” |
menu_label |
the widget to use as a label for the page-switch menu, if that is enabled. If null, and |
position |
the index (starting at 0) at which to insert the page, or -1 to append the page after all other pages. |
Returns:
the index (starting from 0) of the inserted page in the notebook |