# HG changeset patch # User Markus Kottlaender # Date 1551681514 -3600 # Node ID 194b42f28ea305d7f7f83bd2af42c92ccc21efd0 # Parent 54c9fe587fe67790e57ada295367577092f2a48c linting diff -r 54c9fe587fe6 -r 194b42f28ea3 client/src/store/map.js --- a/client/src/store/map.js Fri Mar 01 18:38:02 2019 +0100 +++ b/client/src/store/map.js Mon Mar 04 07:38:34 2019 +0100 @@ -386,21 +386,21 @@ }), style: function(feature) { return new Style({ - image: new RegularShape({ - radius: 6, - fill: new Fill({ color: "rgba(255, 255, 0, 0.1)" }), - stroke: new Stroke({ color: "red", width: 1 }), - points: 3, - rotation: 0, - angle: 0 + image: new RegularShape({ + radius: 6, + fill: new Fill({ color: "rgba(255, 255, 0, 0.1)" }), + stroke: new Stroke({ color: "red", width: 1 }), + points: 3, + rotation: 0, + angle: 0 + }), + text: new Text({ + font: '10px "Open Sans", "sans-serif"', + offsetY: 10, + fill: new Fill({ + color: "black" }), - text: new Text({ - font: '10px "Open Sans", "sans-serif"', - offsetY: 10, - fill: new Fill({ - color: "black" - }), - text: feature.get("objname") + text: feature.get("objname") }) }); }, @@ -408,7 +408,7 @@ minResolution: 0 }), isVisible: true, - showInLegend: true, + showInLegend: true }, { name: LAYERS.DRAWTOOL,