Changeset 9114 in josm for trunk/styles

Timestamp:

2015-12-13T20:28:00+01:00 (9 years ago)

Author:

bastiK

Message:

mapcss: make partial fill threshold an advanced preference option (see #12104)

File:

• trunk/styles/standard/elemstyles.mapcss (modified) (1 diff)

trunk/styles/standard/elemstyles.mapcss

@@ -4876 +4876 @@
    so only do this at low zoom. */
 area|z-13[setting("partial_fill")] {
-    fill-extent-threshold: 100%;
+    fill-extent-threshold: 1.0;
 }
 
 /* Larger extent for closed areas.
-   Turn partial fill off, when it covers more than about 70% of the area. This is avoids
+   Turn partial fill off, when it covers more than about 50% of the area. This is avoids
    areas with small unfilled patches in the center. */
 area[setting("partial_fill")]:closed2 {
     fill-extent: 25;
-    fill-extent-threshold: 50%;
-}
-
+    fill-extent-threshold: JOSM_pref("draw.area.extent_threshold", 0.5);
+}
+