Source position: gtkoptionmenu.inc line 46
procedure gtk_option_menu_remove_menu(
option_menu: PGtkOptionMenu
);