GtkNotebook::insert_page_menu

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

See also: append_page_menu() , prepend_page_menu()