GtkNotebook::prepend_page_menu

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

See also: append_page_menu() , insert_page_menu()