Source position: gtkmenushell.inc line 84
procedure gtk_menu_shell_append(
menu_shell: PGtkMenuShell;
child: PGtkWidget
);