Ignore:
Timestamp:
2015-12-11T17:36:59+01:00 (6 years ago)
Author:
bastiK
Message:

mapcss partial fill: move threshold parameter ([9063]) into the mapcss style
(new property fill-extent-threshold)

  • add support for this parameter when area is unclosed
  • smaller extent for unclosed areas

(see #12104)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

    r8874 r9099  
    204204|   < ELEMENT_OF: "∈" >
    205205|   < CROSSING: "⧉" >
     206|   < PERCENT: "%" >
    206207|   < COMMENT_START: "/*" > : COMMENT
    207208|   < UNEXPECTED_CHAR : ~[] > // avoid TokenMgrErrors because they are hard to recover from
     
    11261127}
    11271128{
    1128     f=ufloat() ( u=ident() | <DEG> { u = "°"; } )
     1129    f=ufloat() ( u=ident() | <DEG> { u = "°"; } | <PERCENT> { u = "%"; } )
    11291130    {
    11301131        Double m = unit_factor(u);
     
    11431144        case "grad": return Math.PI / 200;
    11441145        case "turn": return 2 * Math.PI;
     1146        case "%": return 0.01;
    11451147        case "px": return 1.;
    11461148        case "cm": return 96/2.54;
Note: See TracChangeset for help on using the changeset viewer.