Changeset 18801 in josm for trunk/scripts/SyncEditorLayerIndex.java
- Timestamp:
- 2023-08-09T15:30:01+02:00 (3 years ago)
- File:
-
- 1 edited
-
trunk/scripts/SyncEditorLayerIndex.java (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/SyncEditorLayerIndex.java
r18723 r18801 70 70 * Compare and analyse the differences of the editor layer index and the JOSM imagery list. 71 71 * The goal is to keep both lists in sync. 72 * 73 * The editor layer index project (https://github.com/osmlab/editor-layer-index) 74 * provides also a version in the JOSM format, but the GEOJSON is the original source 75 * format, so we read that. 76 * 77 * How to run: 78 * ----------- 79 * 80 * Main JOSM binary needs to be in classpath, e.g. 81 * 82 * $ java -cp ../dist/josm-custom.jar SyncEditorLayerIndex 83 * 84 * Add option "-h" to show the available command line flags. 72 * <p> 73 * The <a href="https://github.com/osmlab/editor-layer-index">editor layer index</a> project 74 * provides also a version in the JOSM format, but the GEOJSON is the original source format, so we read that. 75 * <p> 76 * For running, the main JOSM binary needs to be in classpath, e.g. 77 * <p> 78 * {@code $ java -cp ../dist/josm-custom.jar SyncEditorLayerIndex} 79 * <p> 80 * Add option {@code -h} to show the available command line flags. 85 81 */ 86 82 @SuppressWarnings("unchecked") … … 294 290 void myprintln(String s) { 295 291 String color; 292 final String escaped = s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">"); 296 293 if ((color = isSkipString(s)) != null) { 297 294 skip.remove(s); 298 295 if (optionXhtmlBody || optionXhtml) { 299 296 s = "<pre style=\"margin:3px;color:"+color+"\">" 300 + s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">")+"</pre>";297 + escaped +"</pre>"; 301 298 } 302 299 if (!optionNoSkip) { … … 310 307 (s.startsWith("!") ? "orange" : 311 308 (s.startsWith("~") ? "red" : "brown")))); 312 s = "<pre style=\"margin:3px;color:"+color+"\">"+ s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">")+"</pre>";309 s = "<pre style=\"margin:3px;color:"+color+"\">"+ escaped +"</pre>"; 313 310 } 314 311 if ((s.startsWith("+ ") || s.startsWith("+++ ELI") || s.startsWith("#")) && optionNoEli) {
Note:
See TracChangeset
for help on using the changeset viewer.
