2020-04-09 17:32:20 +02:00
|
|
|
- if champ.geometry?
|
2020-09-02 12:56:45 +02:00
|
|
|
= react_component("MapReader", { featureCollection: champ.to_feature_collection, options: champ.render_options } )
|
2018-12-28 16:29:47 +01:00
|
|
|
.geo-areas
|
2023-06-09 16:29:42 +02:00
|
|
|
= render Dossiers::GeoAreasComponent.new(champ:, editing: false)
|