Changeset 14342 in josm


Ignore:
Timestamp:
2018-10-17T15:47:26+02:00 (4 weeks ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/draw/SymbolShape.java

    r10875 r14342  
    88import java.util.Optional;
    99import java.util.stream.Stream;
     10
     11import org.openstreetmap.josm.tools.GuiSizesHelper;
    1012
    1113/**
     
    7173     */
    7274    public Shape shapeAround(double x, double y, double size) {
     75        size = GuiSizesHelper.getSizeDpiAdjusted(size);
    7376        double radius = size / 2;
    7477        Shape shape;
Note: See TracChangeset for help on using the changeset viewer.