Changes between Version 5 and Version 6 of Styles/MapWithAI


Ignore:
Timestamp:
2019-10-31T22:21:24+01:00 (5 years ago)
Author:
taylor.smock
Comment:

Add options to paint style

Legend:

Unmodified
Added
Removed
Modified
  • Styles/MapWithAI

    v5 v6  
    1313}
    1414
    15 /*******************************************
     15/***************************************************
    1616 * Set .mapwithai for all known MapWithAI datasets *
    17  *******************************************/
    18 way[source=~/^(?i)(microsoft|digitalglobe)$/] {
     17 ***************************************************/
     18settings::show_all {
     19    label: tr("Show possible MapWithAI objects");
     20}
     21setting::show_new {
     22    type: boolean;
     23    label: tr("New");
     24    default: true;
     25    group: "show_all";
     26}
     27setting::show_modified {
     28    type: boolean;
     29    label: tr("Modified");
     30    default: false;
     31    group: "show_all";
     32}
     33setting::show_old {
     34    type: boolean;
     35    label: tr("Pre-existing");
     36    default: false;
     37    group: "show_all";
     38}
     39/* This requires support in the plugin (will read key for mapwithai.mapcss:boolean:toggle_with_layer) */
     40setting::toggle_with_layer {
     41    type: boolean;
     42    label: tr("Toggle paintstyle on/off with layer");
     43    default: false;
     44}
     45
     46way[source=~/^(?i)(microsoft|digitalglobe)$/][setting("show_old")]!:new!:modified,
     47way[source=~/^(?i)(microsoft|digitalglobe)$/][setting("show_new")]:new,
     48way[source=~/^(?i)(microsoft|digitalglobe)$/][setting("show_modified")]:modified {
    1949    set .mapwithai;
    2050}
     
    2252way.mapwithai {
    2353    color: mapwithai#FF00FF;
    24 }
     54}                         
     55
    2556way.mapwithai:closed2 {
    2657    fill-color: mapwithai#FF00FF;
    27 }
     58}   
    2859}}}