GTK.Notebook insert_page_menu(GTK.Widget contents, GTK.Widget label, GTK.Menu menu, int pos)
Insert a page at the specified location, arguments as for append_page_menu, but an aditional integer specifies the location.