# HG changeset patch # User Bernhard Reiter # Date 1550502513 -3600 # Node ID da4c91866dfe02e769fc87c5b5858ab59530fdce # Parent b87211f595aecfc9fffd409f9bac25bbf69e075a# Parent ba4dfff74d3f1a6ff1ee386ad7d2a3966368532e merge diff -r b87211f595ae -r da4c91866dfe client/src/store/map.js --- a/client/src/store/map.js Mon Feb 18 15:55:55 2019 +0100 +++ b/client/src/store/map.js Mon Feb 18 16:08:33 2019 +0100 @@ -143,6 +143,9 @@ stroke: new Stroke({ color: "rgba(0, 0, 255, 1.0)", width: 2 + }), + fill: new Fill({ + color: "rgba(255, 255, 255, 0.4)" }) }), new Style({ @@ -174,6 +177,9 @@ lineDash: [3, 6], lineCap: "round", width: 2 + }), + fill: new Fill({ + color: "rgba(240, 230, 0, 0.1)" }) }), new Style({ @@ -205,6 +211,9 @@ lineDash: [2, 4], lineCap: "round", width: 2 + }), + fill: new Fill({ + color: "rgba(240, 230, 0, 0.2)" }) }), new Style({