let select_file_history = Ed_minibuffer.history ()