Changeset 14342 in josm for trunk/src/org/openstreetmap/josm/gui/draw

Timestamp:

2018-10-17T15:47:26+02:00 (6 years ago)

Author:

Don-vip

Message:

see #9995, see #13173 - adjust symbol shapes size based on current DPI

File:

• trunk/src/org/openstreetmap/josm/gui/draw/SymbolShape.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/draw/SymbolShape.java

@@ -8 +8 @@
 import java.util.Optional;
 import java.util.stream.Stream;
+
+import org.openstreetmap.josm.tools.GuiSizesHelper;
 
 /**
@@ -71 +73 @@
      */
     public Shape shapeAround(double x, double y, double size) {
+        size = GuiSizesHelper.getSizeDpiAdjusted(size);
         double radius = size / 2;
         Shape shape;