Ticket #18457: 18420.patch

File 18420.patch, 1.3 KB (added by GerdP, 4 years ago)
  • src/org/openstreetmap/josm/gui/NavigatableComponent.java

     
    6161import org.openstreetmap.josm.gui.util.CursorManager;
    6262import org.openstreetmap.josm.gui.util.GuiHelper;
    6363import org.openstreetmap.josm.spi.preferences.Config;
     64import org.openstreetmap.josm.tools.GuiSizesHelper;
    6465import org.openstreetmap.josm.tools.Logging;
    6566import org.openstreetmap.josm.tools.Utils;
    6667
     
    11811182        DataSet ds = MainApplication.getLayerManager().getActiveDataSet();
    11821183
    11831184        if (ds != null) {
    1184             double snapDistanceSq = Config.getPref().getInt("mappaint.segment.snap-distance", 10);
    1185             snapDistanceSq *= snapDistanceSq;
     1185            int snapDistance = GuiSizesHelper.getSizeDpiAdjusted(Config.getPref().getInt("mappaint.segment.snap-distance", 10));
     1186            double snapDistanceSq = (double) snapDistance * snapDistance;
    11861187
    1187             for (Way w : ds.searchWays(getBBox(p, Config.getPref().getInt("mappaint.segment.snap-distance", 10)))) {
     1188            for (Way w : ds.searchWays(getBBox(p, snapDistance))) {
    11881189                if (!predicate.test(w)) {
    11891190                    continue;
    11901191                }