# HG changeset patch # User Markus Kottlaender # Date 1562599563 -7200 # Node ID 45eab8e9b5809b234f050284dffe08ae7201cb59 # Parent 0d0e52612c3209f230624196d144779dbbf38f77 client: layer refresh button refreshes now all layers, not just vector layers diff -r 0d0e52612c32 -r 45eab8e9b580 client/src/store/map.js --- a/client/src/store/map.js Mon Jul 08 17:24:50 2019 +0200 +++ b/client/src/store/map.js Mon Jul 08 17:26:03 2019 +0200 @@ -545,13 +545,10 @@ let layers = map.getLayers().getArray(); for (let i = 0; i < layers.length; i++) { let layer = layers[i]; - if ( - layer instanceof VectorLayer && - layer.get("source").loader_.name != "VOID" - ) { + if (layer instanceof VectorLayer) { layer.getSource().clear(true); - layer.getSource().refresh({ force: true }); } + layer.getSource().refresh(); } }); },