Source position: gtkmenushell.pp line 83
procedure gtk_menu_shell_deselect(
menu_shell: PGtkMenuShell
);