Source position: gtkmenushell.inc line 89
procedure gtk_menu_shell_deselect(
menu_shell: PGtkMenuShell
);