let load_layout file =
  Ed_misc.read_xml_file file layout_of_xml