Changeset 4280 in josm

Timestamp:

2011-08-04T14:31:51+02:00 (13 years ago)

Author:

bastiK

Message:

mapcss: fix zoom parsing

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

@@ -302 +302 @@
             <MINUS> max=uint()
         |
-            min=uint() ( <MINUS> ( max=uint() )? )?
+        LOOKAHEAD(2)
+            min=uint() <MINUS> ( max=uint() )?
+        |
+            min=uint() { max = min; }
     )
     { return new Pair<Integer, Integer>(min, max); }