Gtk.Notebook.prototype.insert_page_menu

function insert_page_menu(child:Gtk.Widget, tab_label:Gtk.Widget, menu_label:Gtk.Widget, position:Number):Number {
    // Gjs wrapper for gtk_notebook_insert_page_menu()
}

Insert a page into notebook at the given position, specifying the widget to use as the label in the popup menu.

child: the Gtk.Widget to use as the contents of the page
tab_label: the Gtk.Widget 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 tab_label is a Gtk.Label or null, then the menu label will be a newly created label with the same text as tab_label; if tab_label is not a Gtk.Label, menu_label must be specified if the page-switch menu is to be used.
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