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
|
2020-06-09 17:19:59 +02:00
|
|
|
= render partial: 'shared/champs/carte/geo_areas', locals: { champ: champ, editing: false }
|