diff --git a/htdocs/mapscript.js b/htdocs/mapscript.js index 365a41d..b5417f1 100644 --- a/htdocs/mapscript.js +++ b/htdocs/mapscript.js @@ -7,8 +7,8 @@ var streetLabelsRenderer = new L.StreetLabels({ return layer.geometry.type == "LineString"; }, fontStyle: { - dynamicFontSize: false, - fontSize: 10, + dynamicFontSize: true, + fontSize: 11, fontSizeUnit: "px", lineWidth: 4.0, fillStyle: "black", @@ -16,6 +16,15 @@ var streetLabelsRenderer = new L.StreetLabels({ }, }); +streetLabelsRenderer._getDynamicFontSize = function () { + zoom = mymap.getZoom(); + if (zoom <= 7) + return 11; + else + return 2**(zoom - 8) * 11; +} + + // Projection fix from: https://gis.stackexchange.com/questions/200865/leaflet-crs-simple-custom-scale var factorx = 1 / 256 * 4; var factory = factorx;