Changeset 9336 in josm
- Timestamp:
- 2016-01-07T03:14:25+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj
r9247 r9336 7 7 PARSER_BEGIN(MapCSSParser) 8 8 package org.openstreetmap.josm.gui.mappaint.mapcss.parsergen; 9 10 import static org.openstreetmap.josm.tools.I18n.tr; 9 11 10 12 import java.io.InputStream; … … 381 383 } 382 384 { 385 { 386 if (sheet != null) { 387 String msg = tr("Detected deprecated ''{0}'' in ''{1}'' which will be removed shortly. Use ''{2}'' instead.", 388 "@media", sheet.getDisplayString(), "@supports"); 389 Main.error(msg); 390 sheet.logWarning(msg); 391 } 392 } 383 393 <PP_MEDIA> pp_w() 384 394 ( q=pp_media_query() { pass = pass || q; empty = false; }
Note:
See TracChangeset
for help on using the changeset viewer.