GtkNotebook::append_page_menu

int append_page_menu(GtkWidget child [, GtkWidget tab_label = null [, GtkWidget menu_label = null]]);

See also: insert_page_menu() , prepend_page_menu()