Source position: gtkmenushell.pp line 78
procedure gtk_menu_shell_append(
menu_shell: PGtkMenuShell;
child: PGtkWidget
);