Changeset 17058 in josm
- Timestamp:
- 2020-09-24T21:49:13+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapStatus.java
r17056 r17058 1260 1260 @Override 1261 1261 public void dataChanged(DataChangedEvent event) { 1262 refreshDistText(event.getDataset().getSelected()); 1262 if (event.getDataset() != null) { 1263 refreshDistText(event.getDataset().getSelected()); 1264 } 1263 1265 } 1264 1266 }
Note:
See TracChangeset
for help on using the changeset viewer.