bsw/jbe@1309: function ui.map(geo_objects, input_element_id) bsw/jbe@1309: local header = config.map.header bsw/jbe@1309: if type(header) == "function" then bsw/jbe@1309: header = header() bsw/jbe@1309: end bsw/jbe@1309: slot.put_into("html_head", header) bsw/jbe@1309: ui.container{ attr = { id = "map" }, content = "" } bsw/jbe@1309: config.map.func( bsw/jbe@1309: "map", bsw/jbe@1309: config.map.default_viewport.lon, bsw/jbe@1309: config.map.default_viewport.lat, bsw/jbe@1309: config.map.default_viewport.zoom, bsw/jbe@1309: geo_objects, bsw/jbe@1309: input_element_id bsw/jbe@1309: ) bsw/jbe@1309: end