Changeset 9122 in josm

Timestamp:

2015-12-14T23:02:04+01:00 (9 years ago)

Author:

bastiK

Message:

fix possible division by 0 (see #12186)

File:

• trunk/src/org/openstreetmap/josm/gui/NavigatableComponent.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/NavigatableComponent.java

@@ -423 +423 @@
             double d_en = 100 * scale;
             double scaleMin = 0.01 * d_en / d_m / 100;
-            if (newScale < scaleMin) {
+            if (!Double.isInfinite(scaleMin) && newScale < scaleMin) {
                 newScale = scaleMin;
             }