- Timestamp:
- 2009-11-16T18:09:25+01:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/DefaultNameFormatter.java
r2463 r2464 139 139 String nodes = trn("{0} node", "{0} nodes", nodesNo, nodesNo); 140 140 name += (name.length() > 0) ? " ("+nodes+")" : nodes; 141 if(way.getDataSet().getErrors(way) != null) { 141 DataSet data = way.getDataSet(); 142 if (data != null && data.getErrors(way) != null) { 142 143 name = "*"+name; 143 144 }
Note:
See TracChangeset
for help on using the changeset viewer.