Gtk.Notebook.insert_page_menu Reference Manual
Gtk.Notebook.insert_page_menu:
Description:
public
int
insert_page_menu (
Gtk.Widget
child,
Gtk.Widget
tab_label,
Gtk.Widget
menu_label,
int
position)
created by
valadoc