circle radius a little smaller

streetcomplete · Sep 5, 2024 · 5c90dad · 5c90dad
1 parent e4a019a
commit 5c90dad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...c/main/java/de/westnordost/streetcomplete/screens/main/map/components/PinsMapComponent.kt b/...c/main/java/de/westnordost/streetcomplete/screens/main/map/components/PinsMapComponent.kt
@@ -86,7 +86,7 @@ class PinsMapComponent(
             .withProperties(
                 circleColor("white"),
                 circleStrokeColor("#aaaaaa"),
-                circleRadius(6f),
+                circleRadius(5f),
                 circleStrokeWidth(1f),
                 circleTranslate(arrayOf(0f, -8f)), // so that it hides behind the pin
                 circleTranslateAnchor(Property.CIRCLE_TRANSLATE_ANCHOR_VIEWPORT),