Changeset 12245 in josm for trunk/scripts/SyncEditorLayerIndex.groovy

Timestamp:

2017-05-24T10:31:30+02:00 (7 years ago)

Author:

stoecker

Message:

see #14655, new color for the unhandled ID entries

File:

• trunk/scripts/SyncEditorLayerIndex.groovy (modified) (2 diffs)

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -155 +155 @@
             }
         } else if(options.xhtmlbody || options.xhtml) {
-            String color = s.startsWith("***") ? "black" : ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" : "red")
+            String color = s.startsWith("***") ? "black" : ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" :  (s.startsWith("#") ? "chocolate" : "red"))
             s = "<pre style=\"margin:3px;color:"+color+"\">"+s.replaceAll("&","&amp;").replaceAll("<","&lt;").replaceAll(">","&gt;")+"</pre>"
         }
@@ -379 +379 @@
             def jname = getId(j)
             if (!ename.equals(jname)) {
-                myprintln "+ SKIP * Id differs ('${getId(e)}' != '${getId(j)}'): ${getUrl(j)}"
+                myprintln "# Id differs ('${getId(e)}' != '${getId(j)}'): ${getUrl(j)}"
             }
         }