Selected objects are currently only shown in zoom level 14 and above. We should show them on all zoom levels. We'll have to generate the data for that on-the-fly from the database, either as vector tiles or as GeoJSON. (In fact there is some incomplete code in map.js already which implements a GeoJSON layer for that.)
Selected objects are currently only shown in zoom level 14 and above. We should show them on all zoom levels. We'll have to generate the data for that on-the-fly from the database, either as vector tiles or as GeoJSON. (In fact there is some incomplete code in map.js already which implements a GeoJSON layer for that.)