let write_open_buffers_file file buffers = let xml = xml_of_file_list buffers in let s = Xml.to_string_fmt xml in Ed_misc.file_of_string ~file s