Source position: gtkmenushell.pp line 81
procedure gtk_menu_shell_deactivate(
menu_shell: PGtkMenuShell
);