(edit_buffer_read_file): new editor buffer API.