Changeset 15588 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint
- Timestamp:
- 2019-12-13T22:12:24+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSStyleSource.java
r15289 r15588 433 433 // evaluate @media { ... } blocks 434 434 MapCSSParser preprocessor = new MapCSSParser(reader, MapCSSParser.LexicalState.PREPROCESSOR); 435 String mapcss = preprocessor.pp_root(this);436 435 437 436 // do the actual mapcss parsing 438 Reader in2 = new StringReader(mapcss);439 MapCSSParser parser = new MapCSSParser(in2, MapCSSParser.LexicalState.DEFAULT);440 parser.sheet(this);437 try (Reader in2 = new StringReader(preprocessor.pp_root(this))) { 438 new MapCSSParser(in2, MapCSSParser.LexicalState.DEFAULT).sheet(this); 439 } 441 440 442 441 loadMeta();
Note:
See TracChangeset
for help on using the changeset viewer.