Source position: gtkmenushell.inc line 92
procedure _gtk_menu_shell_activate(
menu_shell: PGtkMenuShell
);