Changeset 9336 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint

Timestamp:

2016-01-07T03:14:25+01:00 (8 years ago)

Author:

Don-vip

Message:

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

File:

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

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

@@ -7 +7 @@
 PARSER_BEGIN(MapCSSParser)
 package org.openstreetmap.josm.gui.mappaint.mapcss.parsergen;
+
+import static org.openstreetmap.josm.tools.I18n.tr;
 
 import java.io.InputStream;
@@ -381 +383 @@
 }
 {
+    {
+        if (sheet != null) {
+            String msg = tr("Detected deprecated ''{0}'' in ''{1}'' which will be removed shortly. Use ''{2}'' instead.",
+                            "@media", sheet.getDisplayString(), "@supports");
+            Main.error(msg);
+            sheet.logWarning(msg);
+        }
+    }
     <PP_MEDIA> pp_w()
     ( q=pp_media_query() { pass = pass || q; empty = false; }