let read_open_buffers_file f =
  Ed_misc.read_xml_file f file_list_of_xml