Source position: gtkmenushell.pp line 84
procedure gtk_menu_shell_activate_item(
menu_shell: PGtkMenuShell;
menu_item: PGtkWidget;
force_deactivate: gboolean
);