Source position: gtkoptionmenu.pp line 38
procedure gtk_option_menu_set_history(
option_menu: PGtkOptionMenu;
index: guint
);