Source position: gtkoptionmenu.inc line 47
function gtk_option_menu_get_history(
option_menu: PGtkOptionMenu
):gint;