2020-05-14 11:21:33 +02:00
|
|
|
- preview = !champ.persisted?
|
|
|
|
|
= react_component("MapEditor", { featureCollection: champ.to_feature_collection, url: champs_carte_features_path(preview ? 'preview' : champ), preview: preview, hasCadastres: !!champ.cadastres? }, class: "carte-#{champ.id}")
|
2020-05-05 15:09:29 +02:00
|
|
|
|
2018-10-17 12:07:12 +02:00
|
|
|
.geo-areas
|
2020-06-09 17:19:59 +02:00
|
|
|
= render partial: 'shared/champs/carte/geo_areas', locals: { champ: champ, editing: true }
|
