method history_next = match history with None -> () | Some h -> match h#get_next with None -> () | Some s -> self#set_user_text s