2020-04-09 17:32:20 +02:00
|
|
|
- if champ.geometry?
|
2024-05-06 18:10:30 +02:00
|
|
|
%react-fragment.width-100
|
|
|
|
= render ReactComponent.new "MapReader", feature_collection: 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)
|