Source position: gtkmenushell.pp line 82
procedure gtk_menu_shell_select_item(
menu_shell: PGtkMenuShell;
menu_item: PGtkWidget
);