Changeset 7239 in josm
- Timestamp:
- 2014-06-10T21:47:35+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/validator/ValidatorTreePanel.java
r7117 r7239 209 209 210 210 // Severity node 211 DefaultMutableTreeNode severityNode = new DefaultMutableTreeNode(s); 211 DefaultMutableTreeNode severityNode = new DefaultMutableTreeNode(s) { 212 @Override 213 public String toString() { 214 return super.toString() + " (" + getLeafCount() + ")"; 215 } 216 }; 212 217 rootNode.add(severityNode); 213 218
Note:
See TracChangeset
for help on using the changeset viewer.