Changeset 15851 in josm for trunk/scripts
- Timestamp:
- 2020-02-14T12:45:34+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/SyncEditorLayerIndex.java
r15850 r15851 251 251 if (res.matches()) { 252 252 String s = res.group(2); 253 if(s.endsWith("...")) 254 { 253 if (s.endsWith("...")) { 255 254 s = s.substring(0, s.length() - 3); 256 255 if ("Ignore".equals(res.group(1))) { … … 259 258 skipStart.put(s, "darkgoldenrod"); 260 259 } 261 } 262 else 263 { 260 } else { 264 261 if ("Ignore".equals(res.group(1))) { 265 262 skip.put(s, "green"); … … 294 291 return null; 295 292 } 296 293 297 294 void myprintln(String s) { 298 295 String color;
Note:
See TracChangeset
for help on using the changeset viewer.