Source position: gtkmenushell.inc line 87
procedure gtk_menu_shell_deactivate(
menu_shell: PGtkMenuShell
);