2022-04-28 15:05:18 +02:00
|
|
|
= react_component("MapEditor", featureCollection: champ.to_feature_collection, url: champs_carte_features_path(champ), options: champ.render_options)
|
2020-05-05 15:09:29 +02:00
|
|
|
|
2022-05-03 19:43:25 +02:00
|
|
|
.geo-areas{ id: dom_id(champ, :geo_areas) }
|
2020-06-09 17:19:59 +02:00
|
|
|
= render partial: 'shared/champs/carte/geo_areas', locals: { champ: champ, editing: true }
|