htdocs/mapscript.js

@@ -45,28 +45,9 @@ streetLabelsRenderer._getDynamicFontSize = function (layer) {
 			return 2**(zoom - 9) * 11;
 		break;
 	case "Polygon":
-		var size;
 		if (zoom >= 4)
-			size = 30;
+			return 30;
-		else
+		return 20;
-			size = 20;
-		switch (layer.properties.type) {
-		case "city":
-			break;
-		case "town":
-			size *= 2/3;
-			break;
-		case "village":
-			size *= 1/3;
-			break;
-		case "district":
-			size *= 2/3;
-			break;
-		default:
-			size *= 0.5/3;
-			break;
-		}
-		return size;
 	default:
 		break;
 	}
@@ -186,8 +167,6 @@ function load_geojson(name, url, iconname, iconcolor, active=1, style={}) {
 				switch (iconname) {
 				case "street":
 					onEachFeature = function(feature, layer) {
-						layer.myTag = iconname;
-						layer.myName = name;
 						layer.on("click", function (e) {
 							current_feature = feature;
 						});
@@ -496,11 +475,11 @@ function update_street_width() {
 		w = 2**zoom * 0.016 * 2;
 	}
 	var myStyle = {weight: w, opacity: 0.7};
-	mymap.eachLayer( function(layer) {
+	for (var i = 0; i < layers._layers.length; i++) {
-		if ( layer.myTag && layer.myTag === "street") {
+		if (!layers._layers[i].layer._layers)
-			layer.setStyle(myStyle);
+			continue;
-		}
+		layers._layers[i].layer.setStyle(myStyle);
-	});
+	}
 }
 
 function update_outline_visibility() {