1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/env/ui/map.lua	Sun Jul 15 14:07:29 2018 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +function ui.map(geo_objects, input_element_id)
     1.5 +  local header = config.map.header
     1.6 +  if type(header) == "function" then
     1.7 +    header = header()
     1.8 +  end
     1.9 +  slot.put_into("html_head", header)
    1.10 +  ui.container{ attr = { id = "map" }, content = "" }
    1.11 +  config.map.func(
    1.12 +    "map", 
    1.13 +    config.map.default_viewport.lon, 
    1.14 +    config.map.default_viewport.lat, 
    1.15 +    config.map.default_viewport.zoom,
    1.16 +    geo_objects,
    1.17 +    input_element_id
    1.18 +  )
    1.19 +end