Changes between Version 9 and Version 10 of Styles/MapWithAI

Timestamp:

2019-12-19T18:00:39+01:00 (6 years ago)

Author:

taylor.smock

Comment:

Add December Holiday style (can be toggled off/on)

Styles/MapWithAI

@@ -40 +40 @@
     group: "show_all";
 }
+
+setting::decemberHolidayStyle {
+    type: boolean;
+    label: tr("Mappy Holidays!");
+    default: true;
+}
+
 /* This requires support in the plugin (will read key for mapwithai.mapcss:boolean:toggle_with_layer) */
 setting::toggle_with_layer {
@@ -59 +66 @@
 way.mapwithai:closed2 {
     fill-color: mapwithai#FF00FF;
-}  
+}
+
+way.mapwithai[setting("decemberHolidayStyle")] {
+    holidayColour: CRC32_checksum(osm_id()) > 2147483647.5
+}
+
+way.mapwithai[is_prop_set("holidayColour") && prop("holidayColour")] {
+    color: mapwithaiDecemberGreen#00FF00;
+    dashes: 20;
+    dashes-background-color: mapwithaiDecemberWhite#FFFFFF;
+}
+way.mapwithai[is_prop_set("holidayColour") && !prop("holidayColour")] {
+    color: mapwithaiDecemberRed#FC6262;
+    dashes: 20;
+    dashes-background-color: mapwithaiDecemberWhite#FFFFFF;
+}
+way.mapwithai[is_prop_set("holidayColour") && prop("holidayColour")]:closed2 {
+    fill-color: mapwithaiDecemberGreen#00FF00;
+}
+way.mapwithai[is_prop_set("holidayColour") && !prop("holidayColour")]:closed2 {
+    fill-color: mapwithaiDecemberRed#FC6262;
+}
+
+way.mapwithai[is_prop_set("holidayColour")]:selected {
+    color: mapWithAIDecemberSelected#FF0000;
+    dashes: 0;
+}
 }}}