let
select_file_history =
Ed_minibuffer
.history ()