int insert_page_menu(GtkWidget child [, GtkWidget tab_label = null [, GtkWidget menu_label = null [, int position = -1]]]);