Source position: gtkmenushell.inc line 88
procedure gtk_menu_shell_select_item(
menu_shell: PGtkMenuShell;
menu_item: PGtkWidget
);