To debug infrastructure and identify element by gaia id for instance it is nice to switch from map to the editor to be able to select element in the map.
If it is not too complicated it would be nice to have this soon before the editor V2.
Wouldn't osrd-project/osrd-confidential#373 and osrd-project/osrd-confidential#374 make the editor as useful as the map for information, and remove the need for such button ?
To debug infrastructure and identify element by gaia id for instance it is nice to switch from map to the editor to be able to select element in the map.
If it is not too complicated it would be nice to have this soon before the editor V2.