Changeset 9071 in josm for trunk/src

Timestamp:

2015-11-30T20:23:23+01:00 (8 years ago)

Author:

bastiK

Message:

mappaint partial fill: turn off margin on both sites for unclosed area (see #12104)

File:

• trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/MapPaintSettings.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/MapPaintSettings.java

@@ -115 +115 @@
 
         outlineOnly = Main.pref.getBoolean("draw.data.area_outline_only", false);
-        unclosedAreaHighlight = Main.pref.getBoolean("draw.unclosed_area_partial_fill_highlight", true);
+        unclosedAreaHighlight = Main.pref.getBoolean("draw.unclosed_area_partial_fill_highlight", false);
         unclosedAreaHighlightWidth = Main.pref.getDouble("draw.unclosed_area_partial_fill_highlight.width", 80);
         partialFillThreshold = Main.pref.getDouble("draw.area.partial_fill_threshold", 50);