GtkOptionMenu::set_history

void set_history(int index);

set_history() is used internally in GTK to display the text of the GtkMenuItem most recently activated by the user.

This method can also be used by the PHP-GTK programmer to override this default behaviour or, alternatively, to designate an initial setting using the index position.