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