let
load_layout file =
Ed_misc
.read_xml_file file layout_of_xml