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.