Different color, hopefully suitable to multiple layers

src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js

@@ -9,9 +9,9 @@ const regionChooser = (function () {
 
 	const styles = {};
 
-	styles.original = utils.polygon_style('#447744', 0.2);
-	styles.highlighted = utils.polygon_style("#ff44a2", 0.7);
-	styles.selected = utils.polygon_style("#ffff00", 0.8);
+	styles.original = utils.polygon_style("#ee4266", 0.2);
+	styles.highlighted = utils.polygon_style("#540d6e", 0.5, 5);
+	styles.selected = utils.polygon_style("#540d6e", 0.7, 5);
 
 	publicScope.init = function () {
 		//NOTE: Only called from JavaFX. At startup, or when Repo has been changed.
@@ -41,7 +41,6 @@ const regionChooser = (function () {
 	});
 	
 	var arcgis_satellite = new ol.layer.Tile({
-		// TODO: Change polygon color when selected
 	    source: new ol.source.XYZ({
 			attributions: "",
 			url: 'https://server.arcgisonline.com/ArcGIS/rest/services/World_Imagery/MapServer/tile/{z}/{y}/{x}',

src/main/resources/eu/simstadt/regionchooser/website/script/utils.js

@@ -54,14 +54,14 @@ utils.is_polygon = function (geom) {
 	return ('getType' in geom) && (geom.getType() === 'Polygon');
 }
 
-utils.polygon_style = function (color, alpha) {
+utils.polygon_style = function (color, alpha, width=3) {
 	return new ol.style.Style({
 		fill: new ol.style.Fill({
 			color: 'rgba(255, 255, 255,' + alpha + ')'
 		}),
 		stroke: new ol.style.Stroke({
 			color: color,
-			width: 2,
+			width: width,
 			lineDash: [5, 10]
 		}),
 	});