GtkOptionMenu::set_history

void set_history(int index);

WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.

Selects the menu item specified by index making it the newly selected value for the option menu.

See also: get_history()