Changeset 9336 in josm for trunk/src/org


Ignore:
Timestamp:
2016-01-07T03:14:25+01:00 (4 years ago)
Author:
Don-vip
Message:

see #12282 - log a warning for MapCSS @media queries (deprecated since @supports has been introduced in r8087)

File:
1 edited

Legend:

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

    r9247 r9336  
    77PARSER_BEGIN(MapCSSParser)
    88package org.openstreetmap.josm.gui.mappaint.mapcss.parsergen;
     9
     10import static org.openstreetmap.josm.tools.I18n.tr;
    911
    1012import java.io.InputStream;
     
    381383}
    382384{
     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    }
    383393    <PP_MEDIA> pp_w()
    384394    ( q=pp_media_query() { pass = pass || q; empty = false; }
Note: See TracChangeset for help on using the changeset viewer.