Source position: gtknotebook.inc line 124
function gtk_notebook_prepend_page_menu(
notebook: PGtkNotebook;
child: PGtkWidget;
tab_label: PGtkWidget;
menu_label: PGtkWidget
):gint;