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()
See also: append_page_menu() , prepend_page_menu()