Ticket #18457: 18420.patch
File 18420.patch, 1.3 KB (added by , 5 years ago) |
---|
-
src/org/openstreetmap/josm/gui/NavigatableComponent.java
61 61 import org.openstreetmap.josm.gui.util.CursorManager; 62 62 import org.openstreetmap.josm.gui.util.GuiHelper; 63 63 import org.openstreetmap.josm.spi.preferences.Config; 64 import org.openstreetmap.josm.tools.GuiSizesHelper; 64 65 import org.openstreetmap.josm.tools.Logging; 65 66 import org.openstreetmap.josm.tools.Utils; 66 67 … … 1181 1182 DataSet ds = MainApplication.getLayerManager().getActiveDataSet(); 1182 1183 1183 1184 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; 1186 1187 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))) { 1188 1189 if (!predicate.test(w)) { 1189 1190 continue; 1190 1191 }