Source position: gtkoptionmenu.inc line 45
procedure gtk_option_menu_set_menu(
option_menu: PGtkOptionMenu;
menu: PGtkWidget
);