simplify filter update

main
gman 2 years ago
parent 9023481a1b
commit 6ea1cb398d

@ -222,30 +222,10 @@ export default {
};
const updateSamplesLayer = () => {
if (map.value.getLayer('samples-layer')) {
map.value.removeLayer('samples-layer');
}
if (props.idlist.length) {
map.value.addLayer({
'id': 'samples-layer',
'source': 'samples',
'source-layer': 'public.geodata',
'type': 'circle',
'paint': {
'circle-stroke-width': 1,
'circle-stroke-color': '#FFFFFF',
'circle-color': [
'case',
['boolean', ['feature-state', 'beenClicked'], false],
'#fec44f',
'#d95f0e'
],
'circle-opacity': 0.8,
'circle-radius': 8
},
filter: ["match", ["get", "internal_id"], props.idlist, true, false]
});
if (props.idlist.length < 2000) {
map.value.setFilter('samples-layer', ["in", "internal_id", ...props.idlist])
} else {
map.value.setFilter('samples-layer', null)
}
};
@ -320,6 +300,5 @@ export default {
.va-radio__text, .va-checkbox__label {
color: white;
text-shadow: 0 0 3px black;
}
</style>

Loading…
Cancel
Save