Changeset 12245 in josm


Ignore:
Timestamp:
2017-05-24T10:31:30+02:00 (6 months ago)
Author:
stoecker
Message:

see #14655, new color for the unhandled ID entries

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/scripts/SyncEditorLayerIndex.groovy

    r12242 r12245  
    155155            }
    156156        } else if(options.xhtmlbody || options.xhtml) {
    157             String color = s.startsWith("***") ? "black" : ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" : "red")
     157            String color = s.startsWith("***") ? "black" : ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" :  (s.startsWith("#") ? "chocolate" : "red"))
    158158            s = "<pre style=\"margin:3px;color:"+color+"\">"+s.replaceAll("&","&amp;").replaceAll("<","&lt;").replaceAll(">","&gt;")+"</pre>"
    159159        }
     
    379379            def jname = getId(j)
    380380            if (!ename.equals(jname)) {
    381                 myprintln "+ SKIP * Id differs ('${getId(e)}' != '${getId(j)}'): ${getUrl(j)}"
     381                myprintln "# Id differs ('${getId(e)}' != '${getId(j)}'): ${getUrl(j)}"
    382382            }
    383383        }
Note: See TracChangeset for help on using the changeset viewer.