Mapsforge themes: ignore no-op instructions (#1205)

Author: devemux86

vtm/src/org/oscim/theme/XmlThemeBuilder.java

@@ -625,6 +625,36 @@ else if ("repeat-start".equals(name))
             else if ("repeat-gap".equals(name))
                 b.repeatGap = Float.parseFloat(value) * mScale;
 
+            else if ("align-center".equals(name))
+                ; // no-op
+
+            else if ("curve".equals(name))
+                ; // no-op
+
+            else if ("display".equals(name))
+                ; // no-op
+
+            else if ("dy".equals(name))
+                ; // no-op
+
+            else if ("position".equals(name))
+                ; // no-op
+
+            else if ("priority".equals(name))
+                ; // no-op
+
+            else if ("repeat".equals(name))
+                ; // no-op
+
+            else if ("rotate".equals(name))
+                ; // no-op
+
+            else if ("scale".equals(name))
+                ; // no-op
+
+            else if ("stroke-linejoin".equals(name))
+                ; // no-op
+
             else
                 logUnknownAttribute(elementName, name, value, i);
         }
@@ -968,6 +998,9 @@ else if ("map-background".equals(name)) {
             else if ("base-text-scale".equals(name) || "base-text-size".equals(name))
                 baseTextScale = Float.parseFloat(value);
 
+            else if ("map-background-outside".equals(name))
+                ; // no-op
+
             else
                 logUnknownAttribute(elementName, name, value, i);
 
@@ -1109,7 +1142,31 @@ else if ("position".equals(name)) {
                     b.dy = -Float.parseFloat(value) * mScale * CanvasAdapter.symbolScale;
                 }
 
-            } else
+            } else if ("display".equals(name))
+                ; // no-op
+
+            else if ("repeat".equals(name))
+                ; // no-op
+
+            else if ("repeat-gap".equals(name))
+                ; // no-op
+
+            else if ("repeat-start".equals(name))
+                ; // no-op
+
+            else if ("symbol-id".equals(name))
+                ; // no-op
+
+            else if ("text-orientation".equals(name))
+                ; // no-op
+
+            else if ("text-transform".equals(name))
+                ; // no-op
+
+            else if ("text-wrap-width".equals(name))
+                ; // no-op
+
+            else
                 logUnknownAttribute(elementName, name, value, i);
         }
 
@@ -1252,6 +1309,12 @@ else if ("repeat-gap".equals(name))
             else if ("rotate".equals(name))
                 b.rotate(Boolean.parseBoolean(value));
 
+            else if ("display".equals(name))
+                ; // no-op
+
+            else if ("priority".equals(name))
+                ; // no-op
+
             else
                 logUnknownAttribute(elementName, name, value, i);
         }