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.