let make_buffer_first_in_history name = remove_buffer_from_history name; buffer_name_history := name :: !buffer_name_history