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