Changeset 13013 in josm for trunk

Timestamp:

2017-10-17T20:59:50+02:00 (7 years ago)

Author:

Don-vip

Message:

fix #15446 - robustness against negative dashes-offset

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/LineElement.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/LineElement.java

@@ -357 +357 @@
         }
         float dashesOffset = c.get(type.prefix + DASHES_OFFSET, 0f, Float.class);
+        if (dashesOffset < 0f) {
+            Logging.warn("Found negative " + DASHES_OFFSET + ": " + dashesOffset);
+            dashesOffset = 0f;
+        }
         Color dashesBackground = c.get(type.prefix + DASHES_BACKGROUND_COLOR, null, Color.class);
         if (dashesBackground != null) {