Source position: gtknotebook.pp line 102
procedure set_default_menu(
var a: TGtkNotebookPage;
__default_menu: guint
);