Change highlighted bbox border width to 4px on history pages

That makes the border an even number, with width/2 an integer. This produces a sharper edge when rendering on 1x pixel density devices.

diff --git a/app/assets/javascripts/index/history-changesets-layer.js b/app/assets/javascripts/index/history-changesets-layer.js
index eafa2f71502bdeb63612a4488ae032bdfb753aec..4d011bb0df4c7f8907e475a8474578873260bdbd 100644 (file)
--- a/app/assets/javascripts/index/history-changesets-layer.js
+++ b/app/assets/javascripts/index/history-changesets-layer.js
@@ -16,7 +16,7 @@ OSM.HistoryChangesetsLayer = L.FeatureGroup.extend({
     }
 
     return {
-      weight: isHighlighted ? 3 : 2,
+      weight: isHighlighted ? 4 : 2,
       color: "var(--changeset-border-color)",
       fillColor: "var(--changeset-fill-color)",
       fillOpacity: isHighlighted ? 0.3 : 0,